Anne is big. Anne is not blue. Anne is red. Anne is smart. Charlie is big. Charlie is cold. Charlie is red. Charlie is round. Charlie is smart. Dave is big. Dave is blue. Dave is cold. Erin is not blue. Erin is rough. Erin is round. Erin is smart. All red people are not blue. All cold, rough people are blue. All smart, cold people are not blue.
Anne is big.
("Anne" "is" "big" "+")
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is red.
("Anne" "is" "red" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
All red people are not blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "-"))
All cold, rough people are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
All smart, cold people are not blue.
((("someone" "is" "smart" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "-"))
Anne is big.
True
1
proof
[(triple1)]
("Anne" "is" "big" "+")
triple1
Anne is not smart.
False
1
inv-proof
[(triple4)]
("Anne" "is" "smart" "-")
triple4
Charlie is not blue.
True
2
proof
[(((triple7) -> rule1) OR ((triple9 triple6) -> rule3))]
("Charlie" "is" "blue" "-")
((triple7) -> (rule1 % int1))
Charlie is not blue.
("Charlie" "is" "blue" "-")
int1
((triple9 triple6) -> (rule3 % int1))
Charlie is not blue.
("Charlie" "is" "blue" "-")
int1
Charlie is blue.
False
2
inv-proof
[(((triple7) -> rule1) OR ((triple9 triple6) -> rule3))]
("Charlie" "is" "blue" "+")
((triple7) -> (rule1 % int1))
Charlie is not blue.
("Charlie" "is" "blue" "-")
int1
((triple9 triple6) -> (rule3 % int1))
Charlie is not blue.
("Charlie" "is" "blue" "-")
int1
Erin is not cold.
Unknown
inv-random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Anne is big.[(triple1)] Anne is not blue.[(triple2 OR ((triple3) -> rule1))] Anne is red.[(triple3)] Anne is smart.[(triple4)] Charlie is big.[(triple5)] Charlie is cold.[(triple6)] Charlie is red.[(triple7)] Charlie is round.[(triple8)] Charlie is smart.[(triple9)] Dave is big.[(triple10)] Dave is blue.[(triple11)] Dave is cold.[(triple12)] Erin is not blue.[(triple13)] Erin is rough.[(triple14)] Erin is round.[(triple15)] Erin is smart.[(triple16)] @1: Charlie is not blue.[(((triple7) -> rule1) OR ((triple9 triple6) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is not blue.
("Anne" "is" "blue" "-")
triple2
((triple3) -> (rule1 % int1))
Anne is not blue.
("Anne" "is" "blue" "-")
int1
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
triple8
Charlie is smart.
("Charlie" "is" "smart" "+")
triple9
Dave is big.
("Dave" "is" "big" "+")
triple10
Dave is blue.
("Dave" "is" "blue" "+")
triple11
Dave is cold.
("Dave" "is" "cold" "+")
triple12
Erin is not blue.
("Erin" "is" "blue" "-")
triple13
Erin is rough.
("Erin" "is" "rough" "+")
triple14
Erin is round.
("Erin" "is" "round" "+")
triple15
Erin is smart.
("Erin" "is" "smart" "+")
triple16
Charlie is not blue.
("Charlie" "is" "blue" "-")
((triple7) -> (rule1 % int1))
Charlie is not blue.
("Charlie" "is" "blue" "-")
int1
((triple9 triple6) -> (rule3 % int1))
Charlie is not blue.
("Charlie" "is" "blue" "-")
int1