Anne is red. Anne is round. Anne is not smart. Harry is blue. Harry is furry. Harry is red. Harry is smart. If Anne is red and Anne is not smart then Anne is furry.
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is not smart.
("Anne" "is" "smart" "-")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If Anne is red and Anne is not smart then Anne is furry.
((("Anne" "is" "red" "+") ("Anne" "is" "smart" "~")) -> ("Anne" "is" "furry" "+"))
Harry is furry.
True
1
proof
[(triple5)]
("Harry" "is" "furry" "+")
triple5
Anne is not red.
False
1
inv-proof
[(triple1)]
("Anne" "is" "red" "-")
triple1
Anne is furry.
True
3
proof
[(((triple1 triple3) -> rule1))]
("Anne" "is" "furry" "+")
((triple1 triple3) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not furry.
False
3
inv-proof
[(((triple1 triple3) -> rule1))]
("Anne" "is" "furry" "-")
((triple1 triple3) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Anne is not smart.[(triple3)] Anne is red.[(triple1)] Anne is round.[(triple2)] Harry is blue.[(triple4)] Harry is furry.[(triple5)] Harry is red.[(triple6)] Harry is smart.[(triple7)] @1: Anne is furry.[(((triple1 triple3) -> rule1))]
Anne is not smart.
("Anne" "is" "smart" "-")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Harry is blue.
("Harry" "is" "blue" "+")
triple4
Harry is furry.
("Harry" "is" "furry" "+")
triple5
Harry is red.
("Harry" "is" "red" "+")
triple6
Harry is smart.
("Harry" "is" "smart" "+")
triple7
Anne is furry.
("Anne" "is" "furry" "+")
((triple1 triple3) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1