Anne is blue. Anne is kind. Anne is round. Anne is white. Fiona is blue. Fiona is green. Fiona is kind. Fiona is red. Fiona is round. Fiona is smart. Fiona is white. Gary is blue. Gary is green. Gary is smart. Gary is white. Smart, green things are round. Green things are blue.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Smart, green things are round.
((("something" "is" "smart" "+") ("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
Green things are blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
Fiona is red.
True
1
proof
[(triple8)]
("Fiona" "is" "red" "+")
triple8
Gary is not smart.
False
1
inv-proof
[(triple14)]
("Gary" "is" "smart" "-")
triple14
Gary is round.
True
3
proof
[(((triple14 triple13) -> rule1))]
("Gary" "is" "round" "+")
((triple14 triple13) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
3
inv-proof
[(((triple14 triple13) -> rule1))]
("Gary" "is" "round" "-")
((triple14 triple13) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4)] Fiona is blue.[(triple5 OR ((triple6) -> rule2))] Fiona is green.[(triple6)] Fiona is kind.[(triple7)] Fiona is red.[(triple8)] Fiona is round.[(triple9 OR ((triple10 triple6) -> rule1))] Fiona is smart.[(triple10)] Fiona is white.[(triple11)] Gary is blue.[(triple12 OR ((triple13) -> rule2))] Gary is green.[(triple13)] Gary is smart.[(triple14)] Gary is white.[(triple15)] @1: Gary is round.[(((triple14 triple13) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
((triple6) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple9
((triple10 triple6) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
Fiona is white.
("Fiona" "is" "white" "+")
triple11
Gary is blue.
("Gary" "is" "blue" "+")
triple12
((triple13) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
triple13
Gary is smart.
("Gary" "is" "smart" "+")
triple14
Gary is white.
("Gary" "is" "white" "+")
triple15
Gary is round.
("Gary" "is" "round" "+")
((triple14 triple13) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1