Anne is cold. Anne is green. Anne is kind. Anne is quiet. Fiona is big. Fiona is cold. Fiona is kind. Gary is blue. Gary is cold. Gary is kind. Cold things are red.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Cold things are red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
Fiona is big.
True
1
proof
[(triple5)]
("Fiona" "is" "big" "+")
triple5
Fiona is not big.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "big" "-")
triple5
Fiona is red.
True
2
proof
[(((triple6) -> rule1))]
("Fiona" "is" "red" "+")
((triple6) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Gary is not red.
False
2
inv-proof
[(((triple9) -> rule1))]
("Gary" "is" "red" "-")
((triple9) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Fiona is big.[(triple5)] Fiona is cold.[(triple6)] Fiona is kind.[(triple7)] Gary is blue.[(triple8)] Gary is cold.[(triple9)] Gary is kind.[(triple10)] @1: Anne is red.[(((triple1) -> rule1))] Fiona is red.[(((triple6) -> rule1))] Gary is red.[(((triple9) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Anne is red.
("Anne" "is" "red" "+")
((triple1) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple6) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple9) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1