Bob is blue. Bob is cold. Bob is nice. Charlie is blue. Charlie is red. Charlie is rough. Erin is nice. Erin is red. Erin is rough. Erin is round. Round, red people are blue. If someone is cold and nice then they are red.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Round, red people are blue.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and nice then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
Charlie is rough.
True
1
proof
[(triple6)]
("Charlie" "is" "rough" "+")
triple6
Charlie is not rough.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "rough" "-")
triple6
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is nice.[(triple3)] Charlie is blue.[(triple4)] Charlie is red.[(triple5)] Charlie is rough.[(triple6)] Erin is nice.[(triple7)] Erin is red.[(triple8)] Erin is rough.[(triple9)] Erin is round.[(triple10)] @1: Bob is red.[(((triple2 triple3) -> rule2))] Erin is blue.[(((triple10 triple8) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Erin is nice.
("Erin" "is" "nice" "+")
triple7
Erin is red.
("Erin" "is" "red" "+")
triple8
Erin is rough.
("Erin" "is" "rough" "+")
triple9
Erin is round.
("Erin" "is" "round" "+")
triple10
Bob is red.
("Bob" "is" "red" "+")
((triple2 triple3) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((triple10 triple8) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1