Anne is big. Anne is not blue. Anne is not cold. Anne is furry. Anne is quiet. Anne is rough. Anne is not white. Charlie is rough. Charlie is not white. Harry is blue. If Anne is blue and Anne is quiet then Anne is cold. If Harry is furry and Harry is big then Harry is quiet. Furry, rough things are big. Blue things are not rough. If something is quiet and not furry then it is not white. All blue, big things are quiet.
Anne is big.
("Anne" "is" "big" "+")
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is not white.
("Anne" "is" "white" "-")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is not white.
("Charlie" "is" "white" "-")
Harry is blue.
("Harry" "is" "blue" "+")
If Anne is blue and Anne is quiet then Anne is cold.
((("Anne" "is" "blue" "+") ("Anne" "is" "quiet" "+")) -> ("Anne" "is" "cold" "+"))
If Harry is furry and Harry is big then Harry is quiet.
((("Harry" "is" "furry" "+") ("Harry" "is" "big" "+")) -> ("Harry" "is" "quiet" "+"))
Furry, rough things are big.
((("something" "is" "furry" "+") ("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
Blue things are not rough.
((("something" "is" "blue" "+")) -> ("something" "is" "rough" "-"))
If something is quiet and not furry then it is not white.
((("something" "is" "quiet" "+") ("something" "is" "furry" "~")) -> ("something" "is" "white" "-"))
All blue, big things are quiet.
((("something" "is" "blue" "+") ("something" "is" "big" "+")) -> ("something" "is" "quiet" "+"))
Anne is rough.
True
1
proof
[(triple6)]
("Anne" "is" "rough" "+")
triple6
Anne is not rough.
False
1
inv-proof
[(triple6)]
("Anne" "is" "rough" "-")
triple6
Harry is not rough.
True
2
proof
[(((triple10) -> rule4))]
("Harry" "is" "rough" "-")
((triple10) -> (rule4 % int1))
Harry is not rough.
("Harry" "is" "rough" "-")
int1
Harry is rough.
False
2
inv-proof
[(((triple10) -> rule4))]
("Harry" "is" "rough" "+")
((triple10) -> (rule4 % int1))
Harry is not rough.
("Harry" "is" "rough" "-")
int1
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "big" "-")
Charlie is quiet.
Unknown
rconc
[@1: Charlie is quiet.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "quiet" "+")
Charlie is not furry.
Unknown
inv-random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Anne is big.[(triple1 OR ((triple4 triple6) -> rule3))] Anne is furry.[(triple4)] Anne is not blue.[(triple2)] Anne is not cold.[(triple3)] Anne is not white.[(triple7)] Anne is quiet.[(triple5)] Anne is rough.[(triple6)] Charlie is not white.[(triple9)] Charlie is rough.[(triple8)] Harry is blue.[(triple10)] @1: Harry is not rough.[(((triple10) -> rule4))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple4 triple6) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
triple4
Anne is not blue.
("Anne" "is" "blue" "-")
triple2
Anne is not cold.
("Anne" "is" "cold" "-")
triple3
Anne is not white.
("Anne" "is" "white" "-")
triple7
Anne is quiet.
("Anne" "is" "quiet" "+")
triple5
Anne is rough.
("Anne" "is" "rough" "+")
triple6
Charlie is not white.
("Charlie" "is" "white" "-")
triple9
Charlie is rough.
("Charlie" "is" "rough" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is not rough.
("Harry" "is" "rough" "-")
((triple10) -> (rule4 % int1))
Harry is not rough.
("Harry" "is" "rough" "-")
int1