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