Erin is green. Erin is quiet. Erin is round. Erin is white. Fiona is round. Fiona is white. Gary is cold. Gary is green. Gary is red. Gary is round. White, green people are red. White, blue people are cold. Round people are green. All round people are red. If Gary is red then Gary is round. All round people are cold.
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
White, green people are red.
((("someone" "is" "white" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
White, blue people are cold.
((("someone" "is" "white" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Round people are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
All round people are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If Gary is red then Gary is round.
((("Gary" "is" "red" "+")) -> ("Gary" "is" "round" "+"))
All round people are cold.
((("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Fiona is white.
True
1
proof
[(triple6)]
("Fiona" "is" "white" "+")
triple6
Gary is not red.
False
1
inv-proof
[(triple9 OR ((triple10) -> rule4))]
("Gary" "is" "red" "-")
triple9
((triple10) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Erin is red.
True
2
proof
[(((triple3) -> rule4) OR ((triple4 triple1) -> rule1) OR ((triple4 ((triple3) -> rule3)) -> rule1))]
("Erin" "is" "red" "+")
((triple3) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((triple4 triple1) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((triple4 ((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Fiona is not cold.
False
2
inv-proof
[(((triple5) -> rule6))]
("Fiona" "is" "cold" "-")
((triple5) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Gary is not white.
Unknown
inv-random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Erin is green.[(triple1 OR ((triple3) -> rule3))] Erin is quiet.[(triple2)] Erin is round.[(triple3)] Erin is white.[(triple4)] Fiona is round.[(triple5)] Fiona is white.[(triple6)] Gary is cold.[(triple7 OR ((triple10) -> rule6) OR ((((triple9) -> rule5)) -> rule6))] Gary is green.[(triple8 OR ((triple10) -> rule3) OR ((((triple9) -> rule5)) -> rule3))] Gary is red.[(triple9 OR ((triple10) -> rule4))] Gary is round.[(triple10 OR ((triple9) -> rule5))] @1: Erin is cold.[(((triple3) -> rule6))] Erin is red.[(((triple3) -> rule4) OR ((triple4 triple1) -> rule1) OR ((triple4 ((triple3) -> rule3)) -> rule1))] Fiona is cold.[(((triple5) -> rule6))] Fiona is green.[(((triple5) -> rule3))] Fiona is red.[(((triple5) -> rule4) OR ((triple6 ((triple5) -> rule3)) -> rule1))]
Erin is green.
("Erin" "is" "green" "+")
triple1
((triple3) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
Erin is round.
("Erin" "is" "round" "+")
triple3
Erin is white.
("Erin" "is" "white" "+")
triple4
Fiona is round.
("Fiona" "is" "round" "+")
triple5
Fiona is white.
("Fiona" "is" "white" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
((triple10) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((((triple9) -> (rule5 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
triple8
((triple10) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple9) -> (rule5 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
triple9
((triple10) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple10
((triple9) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((triple3) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((triple3) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((triple4 triple1) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((triple4 ((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple5) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple5) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple5) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple6 ((triple5) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2