Anne is cold. Anne is not nice. Anne is not red. Anne is round. Anne is white. Anne is young. Gary is quiet. Gary is red. Gary is not round. Gary is white. Gary is young. Harry is nice. Harry is quiet. Harry is round. Harry is white. If something is white and not red then it is quiet.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is not red.
("Anne" "is" "red" "-")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is not round.
("Gary" "is" "round" "-")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
If something is white and not red then it is quiet.
((("something" "is" "white" "+") ("something" "is" "red" "~")) -> ("something" "is" "quiet" "+"))
Gary is red.
True
1
proof
[(triple8)]
("Gary" "is" "red" "+")
triple8
Gary is not quiet.
False
1
inv-proof
[(triple7)]
("Gary" "is" "quiet" "-")
triple7
Anne is quiet.
True
3
proof
[(((triple5 triple3) -> rule1))]
("Anne" "is" "quiet" "+")
((triple5 triple3) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is not quiet.
False
3
inv-proof
[(((triple5 triple3) -> rule1))]
("Anne" "is" "quiet" "-")
((triple5 triple3) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Anne is cold.[(triple1)] Anne is not nice.[(triple2)] Anne is not red.[(triple3)] Anne is round.[(triple4)] Anne is white.[(triple5)] Anne is young.[(triple6)] Gary is not round.[(triple9)] Gary is quiet.[(triple7)] Gary is red.[(triple8)] Gary is white.[(triple10)] Gary is young.[(triple11)] Harry is nice.[(triple12)] Harry is quiet.[(triple13)] Harry is round.[(triple14)] Harry is white.[(triple15)] @1: Anne is quiet.[(((triple5 triple3) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is not nice.
("Anne" "is" "nice" "-")
triple2
Anne is not red.
("Anne" "is" "red" "-")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple6
Gary is not round.
("Gary" "is" "round" "-")
triple9
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is white.
("Gary" "is" "white" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
Harry is round.
("Harry" "is" "round" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple5 triple3) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1