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