Anne is blue. Anne is cold. Anne is red. Anne is smart. Anne is young. Harry is cold. Harry is nice. Harry is smart. Harry is white. Harry is young. If something is white then it is not red.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is white then it is not red.
((("something" "is" "white" "+")) -> ("something" "is" "red" "-"))
Harry is cold.
True
1
proof
[(triple6)]
("Harry" "is" "cold" "+")
triple6
Anne is not young.
False
1
inv-proof
[(triple5)]
("Anne" "is" "young" "-")
triple5
Harry is not red.
True
2
proof
[(((triple9) -> rule1))]
("Harry" "is" "red" "-")
((triple9) -> (rule1 % int1))
Harry is not red.
("Harry" "is" "red" "-")
int1
Harry is red.
False
2
inv-proof
[(((triple9) -> rule1))]
("Harry" "is" "red" "+")
((triple9) -> (rule1 % int1))
Harry is not red.
("Harry" "is" "red" "-")
int1
Anne is not nice.
Unknown
inv-random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is red.[(triple3)] Anne is smart.[(triple4)] Anne is young.[(triple5)] Harry is cold.[(triple6)] Harry is nice.[(triple7)] Harry is smart.[(triple8)] Harry is white.[(triple9)] Harry is young.[(triple10)] @1: Harry is not red.[(((triple9) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Harry is smart.
("Harry" "is" "smart" "+")
triple8
Harry is white.
("Harry" "is" "white" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Harry is not red.
("Harry" "is" "red" "-")
((triple9) -> (rule1 % int1))
Harry is not red.
("Harry" "is" "red" "-")
int1