Anne is big. Anne is furry. Anne is green. Anne is quiet. Anne is rough. Anne is smart. Anne is young. Erin is big. Erin is green. Erin is quiet. Erin is smart. Erin is young. If Anne is smart and Anne is quiet then Anne is rough.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
If Anne is smart and Anne is quiet then Anne is rough.
((("Anne" "is" "smart" "+") ("Anne" "is" "quiet" "+")) -> ("Anne" "is" "rough" "+"))
Anne is furry.
True
1
proof
[(triple2)]
("Anne" "is" "furry" "+")
triple2
Erin is not young.
False
1
inv-proof
[(triple12)]
("Erin" "is" "young" "-")
triple12
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is quiet.[(triple4)] Anne is rough.[(triple5 OR ((triple6 triple4) -> rule1))] Anne is smart.[(triple6)] Anne is young.[(triple7)] Erin is big.[(triple8)] Erin is green.[(triple9)] Erin is quiet.[(triple10)] Erin is smart.[(triple11)] Erin is young.[(triple12)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
((triple6 triple4) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7
Erin is big.
("Erin" "is" "big" "+")
triple8
Erin is green.
("Erin" "is" "green" "+")
triple9
Erin is quiet.
("Erin" "is" "quiet" "+")
triple10
Erin is smart.
("Erin" "is" "smart" "+")
triple11
Erin is young.
("Erin" "is" "young" "+")
triple12