Anne is big. Anne is not furry. Anne is green. Anne is not quiet. Anne is rough. Anne is white. Charlie is big. Charlie is quiet. Charlie is rough. Charlie is white. Harry is big. Harry is cold. Harry is quiet. Harry is rough. Harry is white. Green, cold things are furry. If Charlie is rough then Charlie is furry. If something is furry and not white then it is not big.
Anne is big.
("Anne" "is" "big" "+")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is not quiet.
("Anne" "is" "quiet" "-")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
Green, cold things are furry.
((("something" "is" "green" "+") ("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
If Charlie is rough then Charlie is furry.
((("Charlie" "is" "rough" "+")) -> ("Charlie" "is" "furry" "+"))
If something is furry and not white then it is not big.
((("something" "is" "furry" "+") ("something" "is" "white" "~")) -> ("something" "is" "big" "-"))
Charlie is quiet.
True
1
proof
[(triple8)]
("Charlie" "is" "quiet" "+")
triple8
Harry is not white.
False
1
inv-proof
[(triple15)]
("Harry" "is" "white" "-")
triple15
Charlie is furry.
True
2
proof
[(((triple9) -> rule2))]
("Charlie" "is" "furry" "+")
((triple9) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is not furry.
False
2
inv-proof
[(((triple9) -> rule2))]
("Charlie" "is" "furry" "-")
((triple9) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Harry is not furry.
Unknown
inv-rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "furry" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is big.[(triple1)] Anne is green.[(triple3)] Anne is not furry.[(triple2)] Anne is not quiet.[(triple4)] Anne is rough.[(triple5)] Anne is white.[(triple6)] Charlie is big.[(triple7)] Charlie is quiet.[(triple8)] Charlie is rough.[(triple9)] Charlie is white.[(triple10)] Harry is big.[(triple11)] Harry is cold.[(triple12)] Harry is quiet.[(triple13)] Harry is rough.[(triple14)] Harry is white.[(triple15)] @1: Charlie is furry.[(((triple9) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is not furry.
("Anne" "is" "furry" "-")
triple2
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple6
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple8
Charlie is rough.
("Charlie" "is" "rough" "+")
triple9
Charlie is white.
("Charlie" "is" "white" "+")
triple10
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
Harry is rough.
("Harry" "is" "rough" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple9) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1