Anne is blue. Anne is cold. Anne is furry. Anne is round. Harry is blue. Harry is green. Harry is round. Green, blue people are cold.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is round.
("Anne" "is" "round" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Green, blue people are cold.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Anne is cold.
True
1
proof
[(triple2)]
("Anne" "is" "cold" "+")
triple2
Harry is not green.
False
1
inv-proof
[(triple6)]
("Harry" "is" "green" "-")
triple6
Harry is cold.
True
3
proof
[(((triple6 triple5) -> rule1))]
("Harry" "is" "cold" "+")
((triple6 triple5) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not cold.
False
3
inv-proof
[(((triple6 triple5) -> rule1))]
("Harry" "is" "cold" "-")
((triple6 triple5) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
Anne is not nice.
Unknown
inv-random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is round.[(triple4)] Harry is blue.[(triple5)] Harry is green.[(triple6)] Harry is round.[(triple7)] @1: Harry is cold.[(((triple6 triple5) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
((triple6 triple5) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1