Anne is blue. Anne is cold. Anne is kind. Anne is quiet. Anne is young. Gary is blue. Gary is cold. Gary is kind. Gary is smart. Harry is quiet. Harry is red. Harry is smart. All red people are blue. If Anne is young then Anne is smart. If someone is young and quiet then they are blue.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is young.
("Anne" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All red people are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If Anne is young then Anne is smart.
((("Anne" "is" "young" "+")) -> ("Anne" "is" "smart" "+"))
If someone is young and quiet then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
Anne is kind.
True
1
proof
[(triple3)]
("Anne" "is" "kind" "+")
triple3
Anne is not cold.
False
1
inv-proof
[(triple2)]
("Anne" "is" "cold" "-")
triple2
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Anne is blue.[(triple1 OR ((triple5 triple4) -> rule3))] Anne is cold.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Anne is young.[(triple5)] Gary is blue.[(triple6)] Gary is cold.[(triple7)] Gary is kind.[(triple8)] Gary is smart.[(triple9)] Harry is quiet.[(triple10)] Harry is red.[(triple11)] Harry is smart.[(triple12)] @1: Anne is smart.[(((triple5) -> rule2))] Harry is blue.[(((triple11) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple5 triple4) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is smart.
("Gary" "is" "smart" "+")
triple9
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple11
Harry is smart.
("Harry" "is" "smart" "+")
triple12
Anne is smart.
("Anne" "is" "smart" "+")
((triple5) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple11) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1