Anne is not big. Anne is rough. Anne is young. Erin is big. Erin is cold. Erin is red. Erin is rough. Erin is smart. Erin is white. Erin is young. If Erin is cold and Erin is white then Erin is young. If Anne is big then Anne is cold. Rough people are red.
Anne is not big.
("Anne" "is" "big" "-")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
If Erin is cold and Erin is white then Erin is young.
((("Erin" "is" "cold" "+") ("Erin" "is" "white" "+")) -> ("Erin" "is" "young" "+"))
If Anne is big then Anne is cold.
((("Anne" "is" "big" "+")) -> ("Anne" "is" "cold" "+"))
Rough people are red.
((("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Anne is not big.
True
1
proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Erin is not rough.
False
1
inv-proof
[(triple7)]
("Erin" "is" "rough" "-")
triple7
Anne is red.
True
2
proof
[(((triple2) -> rule3))]
("Anne" "is" "red" "+")
((triple2) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is not red.
False
2
inv-proof
[(((triple2) -> rule3))]
("Anne" "is" "red" "-")
((triple2) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is not cold.
Unknown
inv-rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "cold" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is not big.[(triple1)] Anne is rough.[(triple2)] Anne is young.[(triple3)] Erin is big.[(triple4)] Erin is cold.[(triple5)] Erin is red.[(triple6 OR ((triple7) -> rule3))] Erin is rough.[(triple7)] Erin is smart.[(triple8)] Erin is white.[(triple9)] Erin is young.[(triple10 OR ((triple5 triple9) -> rule1))] @1: Anne is red.[(((triple2) -> rule3))]
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Erin is red.
("Erin" "is" "red" "+")
triple6
((triple7) -> (rule3 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
triple8
Erin is white.
("Erin" "is" "white" "+")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
((triple5 triple9) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
((triple2) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1