Anne is red. Anne is white. Erin is big. Erin is blue. Erin is nice. Erin is red. Erin is round. All white, red people are round.
Anne is red.
("Anne" "is" "red" "+")
Anne is white.
("Anne" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
All white, red people are round.
((("someone" "is" "white" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Erin is nice.
True
1
proof
[(triple5)]
("Erin" "is" "nice" "+")
triple5
Anne is not white.
False
1
inv-proof
[(triple2)]
("Anne" "is" "white" "-")
triple2
Anne is round.
True
3
proof
[(((triple2 triple1) -> rule1))]
("Anne" "is" "round" "+")
((triple2 triple1) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is not round.
False
3
inv-proof
[(((triple2 triple1) -> rule1))]
("Anne" "is" "round" "-")
((triple2 triple1) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is red.[(triple1)] Anne is white.[(triple2)] Erin is big.[(triple3)] Erin is blue.[(triple4)] Erin is nice.[(triple5)] Erin is red.[(triple6)] Erin is round.[(triple7)] @1: Anne is round.[(((triple2 triple1) -> rule1))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Erin is big.
("Erin" "is" "big" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple5
Erin is red.
("Erin" "is" "red" "+")
triple6
Erin is round.
("Erin" "is" "round" "+")
triple7
Anne is round.
("Anne" "is" "round" "+")
((triple2 triple1) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1