Anne is big. Anne is blue. Anne is kind. Anne is nice. Anne is not red. Anne is round. Erin is blue. Erin is kind. Erin is nice. Erin is rough. Nice, kind things are blue. If something is nice then it is rough.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is not red.
("Anne" "is" "red" "-")
Anne is round.
("Anne" "is" "round" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Nice, kind things are blue.
((("something" "is" "nice" "+") ("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
If something is nice then it is rough.
((("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
Anne is not red.
True
1
proof
[(triple5)]
("Anne" "is" "red" "-")
triple5
Erin is not rough.
False
1
inv-proof
[(triple10 OR ((triple9) -> rule2))]
("Erin" "is" "rough" "-")
triple10
((triple9) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Anne is rough.
True
2
proof
[(((triple4) -> rule2))]
("Anne" "is" "rough" "+")
((triple4) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is not rough.
False
2
inv-proof
[(((triple4) -> rule2))]
("Anne" "is" "rough" "-")
((triple4) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
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 blue.[(triple2 OR ((triple4 triple3) -> rule1))] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is not red.[(triple5)] Anne is round.[(triple6)] Erin is blue.[(triple7 OR ((triple9 triple8) -> rule1))] Erin is kind.[(triple8)] Erin is nice.[(triple9)] Erin is rough.[(triple10 OR ((triple9) -> rule2))] @1: Anne is rough.[(((triple4) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
((triple4 triple3) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is not red.
("Anne" "is" "red" "-")
triple5
Anne is round.
("Anne" "is" "round" "+")
triple6
Erin is blue.
("Erin" "is" "blue" "+")
triple7
((triple9 triple8) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
triple8
Erin is nice.
("Erin" "is" "nice" "+")
triple9
Erin is rough.
("Erin" "is" "rough" "+")
triple10
((triple9) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((triple4) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1