Anne is furry. Anne is quiet. Anne is round. Erin is blue. Erin is cold. Erin is furry. Erin is green. Erin is round. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is round. Gary is blue. Gary is furry. Gary is quiet. Gary is white. Round, blue things are white. Furry, cold things are blue. Furry things are blue.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is white.
("Gary" "is" "white" "+")
Round, blue things are white.
((("something" "is" "round" "+") ("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
Furry, cold things are blue.
((("something" "is" "furry" "+") ("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
Furry things are blue.
((("something" "is" "furry" "+")) -> ("something" "is" "blue" "+"))
Erin is round.
True
1
proof
[(triple8)]
("Erin" "is" "round" "+")
triple8
Fiona is not furry.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "furry" "-")
triple9
Anne is blue.
True
2
proof
[(((triple1) -> rule3))]
("Anne" "is" "blue" "+")
((triple1) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Fiona is not blue.
False
2
inv-proof
[(((triple9) -> rule3))]
("Fiona" "is" "blue" "-")
((triple9) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is white.
True
4
proof
[(((triple12 ((triple9) -> rule3)) -> rule1))]
("Fiona" "is" "white" "+")
((triple12 ((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Anne is not white.
False
4
inv-proof
[(((triple3 ((triple1) -> rule3)) -> rule1))]
("Anne" "is" "white" "-")
((triple3 ((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Anne is round.[(triple3)] Erin is blue.[(triple4 OR ((triple6) -> rule3) OR ((triple6 triple5) -> rule2))] Erin is cold.[(triple5)] Erin is furry.[(triple6)] Erin is green.[(triple7)] Erin is round.[(triple8)] Fiona is furry.[(triple9)] Fiona is green.[(triple10)] Fiona is quiet.[(triple11)] Fiona is round.[(triple12)] Gary is blue.[(triple13 OR ((triple14) -> rule3))] Gary is furry.[(triple14)] Gary is quiet.[(triple15)] Gary is white.[(triple16)] @1: Anne is blue.[(((triple1) -> rule3))] Erin is white.[(((triple8 triple4) -> rule1) OR ((triple8 ((triple6) -> rule3)) -> rule1) OR ((triple8 ((triple6 triple5) -> rule2)) -> rule1))] Fiona is blue.[(((triple9) -> rule3))] @2: Anne is white.[(((triple3 ((triple1) -> rule3)) -> rule1))] Fiona is white.[(((triple12 ((triple9) -> rule3)) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
triple4
((triple6) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((triple6 triple5) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Erin is green.
("Erin" "is" "green" "+")
triple7
Erin is round.
("Erin" "is" "round" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
Fiona is round.
("Fiona" "is" "round" "+")
triple12
Gary is blue.
("Gary" "is" "blue" "+")
triple13
((triple14) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
triple14
Gary is quiet.
("Gary" "is" "quiet" "+")
triple15
Gary is white.
("Gary" "is" "white" "+")
triple16
Anne is blue.
("Anne" "is" "blue" "+")
((triple1) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((triple8 triple4) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple8 ((triple6) -> (rule3 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((triple8 ((triple6 triple5) -> (rule2 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple9) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
((triple3 ((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
((triple12 ((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2