Anne is cold. Anne is nice. Anne is red. Anne is rough. Anne is round. Bob is cold. Bob is red. Charlie is nice. Charlie is red. Charlie is white. Charlie is young. Erin is nice. Erin is red. Erin is rough. Erin is white. Erin is young. Cold people are rough. White people are rough. If someone is cold and white then they are not rough. If Bob is white then Bob is not red. If Bob is rough and Bob is round then Bob is cold. If someone is nice and not red then they are not young.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is red.
("Bob" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Cold people are rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
White people are rough.
((("someone" "is" "white" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and white then they are not rough.
((("someone" "is" "cold" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "rough" "-"))
If Bob is white then Bob is not red.
((("Bob" "is" "white" "+")) -> ("Bob" "is" "red" "-"))
If Bob is rough and Bob is round then Bob is cold.
((("Bob" "is" "rough" "+") ("Bob" "is" "round" "+")) -> ("Bob" "is" "cold" "+"))
If someone is nice and not red then they are not young.
((("someone" "is" "nice" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "young" "-"))
Anne is red.
True
1
proof
[(triple3)]
("Anne" "is" "red" "+")
triple3
Anne is not red.
False
1
inv-proof
[(triple3)]
("Anne" "is" "red" "-")
triple3
Charlie is rough.
True
2
proof
[(((triple10) -> rule2))]
("Charlie" "is" "rough" "+")
((triple10) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not rough.
False
2
inv-proof
[(((triple10) -> rule2))]
("Charlie" "is" "rough" "-")
((triple10) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Anne is not young.
Unknown
inv-random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Erin is not cold.
Unknown
inv-random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4 OR ((triple1) -> rule1))] Anne is round.[(triple5)] Bob is cold.[(triple6)] Bob is red.[(triple7)] Charlie is nice.[(triple8)] Charlie is red.[(triple9)] Charlie is white.[(triple10)] Charlie is young.[(triple11)] Erin is nice.[(triple12)] Erin is red.[(triple13)] Erin is rough.[(triple14 OR ((triple15) -> rule2))] Erin is white.[(triple15)] Erin is young.[(triple16)] @1: Bob is rough.[(((triple6) -> rule1))] Charlie is rough.[(((triple10) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
((triple1) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple6
Bob is red.
("Bob" "is" "red" "+")
triple7
Charlie is nice.
("Charlie" "is" "nice" "+")
triple8
Charlie is red.
("Charlie" "is" "red" "+")
triple9
Charlie is white.
("Charlie" "is" "white" "+")
triple10
Charlie is young.
("Charlie" "is" "young" "+")
triple11
Erin is nice.
("Erin" "is" "nice" "+")
triple12
Erin is red.
("Erin" "is" "red" "+")
triple13
Erin is rough.
("Erin" "is" "rough" "+")
triple14
((triple15) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
triple15
Erin is young.
("Erin" "is" "young" "+")
triple16
Bob is rough.
("Bob" "is" "rough" "+")
((triple6) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple10) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1