Anne is cold. Anne is green. Anne is nice. Anne is quiet. Anne is red. Anne is round. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is red. Fiona is round. Gary is green. Gary is kind. Gary is quiet. Gary is red. Gary is round. If something is green and red then it is quiet. Red, cold things are green.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
If something is green and red then it is quiet.
((("something" "is" "green" "+") ("something" "is" "red" "+")) -> ("something" "is" "quiet" "+"))
Red, cold things are green.
((("something" "is" "red" "+") ("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
Gary is red.
True
1
proof
[(triple15)]
("Gary" "is" "red" "+")
triple15
Fiona is not cold.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "cold" "-")
triple7
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is cold.[(triple1)] Anne is green.[(triple2 OR ((triple5 triple1) -> rule2))] Anne is nice.[(triple3)] Anne is quiet.[(triple4 OR ((triple2 triple5) -> rule1) OR ((((triple5 triple1) -> rule2) triple5) -> rule1))] Anne is red.[(triple5)] Anne is round.[(triple6)] Fiona is cold.[(triple7)] Fiona is kind.[(triple8)] Fiona is nice.[(triple9)] Fiona is red.[(triple10)] Fiona is round.[(triple11)] Gary is green.[(triple12)] Gary is kind.[(triple13)] Gary is quiet.[(triple14 OR ((triple12 triple15) -> rule1))] Gary is red.[(triple15)] Gary is round.[(triple16)] @1: Fiona is green.[(((triple10 triple7) -> rule2))] @2: Fiona is quiet.[(((((triple10 triple7) -> rule2) triple10) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
((triple5 triple1) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
((triple2 triple5) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((((triple5 triple1) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
triple5
Anne is round.
("Anne" "is" "round" "+")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is red.
("Fiona" "is" "red" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple12
Gary is kind.
("Gary" "is" "kind" "+")
triple13
Gary is quiet.
("Gary" "is" "quiet" "+")
triple14
((triple12 triple15) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
triple15
Gary is round.
("Gary" "is" "round" "+")
triple16
Fiona is green.
("Fiona" "is" "green" "+")
((triple10 triple7) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple10 triple7) -> (rule2 % int2)) triple10) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2