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