Bob is big. Bob is blue. Bob is rough. Charlie is blue. Charlie is green. Charlie is not kind. Charlie is not red. Charlie is rough. Erin is not big. Erin is kind. Erin is rough. Erin is smart. If Bob is red then Bob is kind. All big people are not smart.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is not kind.
("Charlie" "is" "kind" "-")
Charlie is not red.
("Charlie" "is" "red" "-")
Charlie is rough.
("Charlie" "is" "rough" "+")
Erin is not big.
("Erin" "is" "big" "-")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
If Bob is red then Bob is kind.
((("Bob" "is" "red" "+")) -> ("Bob" "is" "kind" "+"))
All big people are not smart.
((("someone" "is" "big" "+")) -> ("someone" "is" "smart" "-"))
Bob is big.
True
1
proof
[(triple1)]
("Bob" "is" "big" "+")
triple1
Charlie is red.
False
1
inv-proof
[(triple7)]
("Charlie" "is" "red" "+")
triple7
Bob is not smart.
True
2
proof
[(((triple1) -> rule2))]
("Bob" "is" "smart" "-")
((triple1) -> (rule2 % int1))
Bob is not smart.
("Bob" "is" "smart" "-")
int1
Bob is smart.
False
2
inv-proof
[(((triple1) -> rule2))]
("Bob" "is" "smart" "+")
((triple1) -> (rule2 % int1))
Bob is not smart.
("Bob" "is" "smart" "-")
int1
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "kind" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Erin is not red.
Unknown
inv-random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is rough.[(triple3)] Charlie is blue.[(triple4)] Charlie is green.[(triple5)] Charlie is not kind.[(triple6)] Charlie is not red.[(triple7)] Charlie is rough.[(triple8)] Erin is kind.[(triple10)] Erin is not big.[(triple9)] Erin is rough.[(triple11)] Erin is smart.[(triple12)] @1: Bob is not smart.[(((triple1) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple6
Charlie is not red.
("Charlie" "is" "red" "-")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
triple8
Erin is kind.
("Erin" "is" "kind" "+")
triple10
Erin is not big.
("Erin" "is" "big" "-")
triple9
Erin is rough.
("Erin" "is" "rough" "+")
triple11
Erin is smart.
("Erin" "is" "smart" "+")
triple12
Bob is not smart.
("Bob" "is" "smart" "-")
((triple1) -> (rule2 % int1))
Bob is not smart.
("Bob" "is" "smart" "-")
int1