Charlie is blue. Charlie is quiet. Charlie is young. Fiona is big. Fiona is blue. Fiona is cold. Fiona is green. Fiona is quiet. Fiona is red. Gary is big. Gary is blue. Gary is cold. Gary is green. Gary is quiet. Gary is red. Gary is young. All green, quiet things are big. Young, quiet things are big. All red things are young. Quiet, green things are cold. If something is red then it is blue. All young, big things are cold.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
All green, quiet things are big.
((("something" "is" "green" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
Young, quiet things are big.
((("something" "is" "young" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
All red things are young.
((("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
Quiet, green things are cold.
((("something" "is" "quiet" "+") ("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
If something is red then it is blue.
((("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
All young, big things are cold.
((("something" "is" "young" "+") ("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
Fiona is blue.
True
1
proof
[(triple5 OR ((triple9) -> rule5))]
("Fiona" "is" "blue" "+")
triple5
((triple9) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not green.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "green" "-")
triple7
Fiona is young.
True
2
proof
[(((triple9) -> rule3))]
("Fiona" "is" "young" "+")
((triple9) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not young.
False
2
inv-proof
[(((triple9) -> rule3))]
("Fiona" "is" "young" "-")
((triple9) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Charlie is cold.
True
5
proof
[(((triple3 ((triple3 triple2) -> rule2)) -> rule6))]
("Charlie" "is" "cold" "+")
((triple3 ((triple3 triple2) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is not cold.
False
5
inv-proof
[(((triple3 ((triple3 triple2) -> rule2)) -> rule6))]
("Charlie" "is" "cold" "-")
((triple3 ((triple3 triple2) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Charlie is blue.[(triple1)] Charlie is quiet.[(triple2)] Charlie is young.[(triple3)] Fiona is big.[(triple4 OR ((triple7 triple8) -> rule1) OR ((((triple9) -> rule3) triple8) -> rule2))] Fiona is blue.[(triple5 OR ((triple9) -> rule5))] Fiona is cold.[(triple6 OR ((triple8 triple7) -> rule4) OR ((((triple9) -> rule3) triple4) -> rule6) OR ((((triple9) -> rule3) ((triple7 triple8) -> rule1)) -> rule6) OR ((((triple9) -> rule3) ((((triple9) -> rule3) triple8) -> rule2)) -> rule6))] Fiona is green.[(triple7)] Fiona is quiet.[(triple8)] Fiona is red.[(triple9)] Gary is big.[(triple10 OR ((triple13 triple14) -> rule1) OR ((triple16 triple14) -> rule2) OR ((((triple15) -> rule3) triple14) -> rule2))] Gary is blue.[(triple11 OR ((triple15) -> rule5))] Gary is cold.[(triple12 OR ((triple14 triple13) -> rule4) OR ((triple16 triple10) -> rule6) OR ((triple16 ((triple13 triple14) -> rule1)) -> rule6) OR ((triple16 ((triple16 triple14) -> rule2)) -> rule6) OR ((((triple15) -> rule3) triple10) -> rule6) OR ((((triple15) -> rule3) ((triple13 triple14) -> rule1)) -> rule6) OR ((((triple15) -> rule3) ((triple16 triple14) -> rule2)) -> rule6) OR ((triple16 ((((triple15) -> rule3) triple14) -> rule2)) -> rule6) OR ((((triple15) -> rule3) ((((triple15) -> rule3) triple14) -> rule2)) -> rule6))] Gary is green.[(triple13)] Gary is quiet.[(triple14)] Gary is red.[(triple15)] Gary is young.[(triple16 OR ((triple15) -> rule3))] @1: Charlie is big.[(((triple3 triple2) -> rule2))] Fiona is young.[(((triple9) -> rule3))] @2: Charlie is cold.[(((triple3 ((triple3 triple2) -> rule2)) -> rule6))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
((triple7 triple8) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((triple9) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
((triple9) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
((triple8 triple7) -> (rule4 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((((triple9) -> (rule3 % int2)) triple4) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple9) -> (rule3 % int3)) ((triple7 triple8) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((((triple9) -> (rule3 % int3)) ((((triple9) -> (rule3 % int3)) triple8) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple9
Gary is big.
("Gary" "is" "big" "+")
triple10
((triple13 triple14) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple16 triple14) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((triple15) -> (rule3 % int2)) triple14) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
triple11
((triple15) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
triple12
((triple14 triple13) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((triple16 triple10) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((triple16 ((triple13 triple14) -> (rule1 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((triple16 ((triple16 triple14) -> (rule2 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple15) -> (rule3 % int2)) triple10) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple15) -> (rule3 % int3)) ((triple13 triple14) -> (rule1 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((triple15) -> (rule3 % int3)) ((triple16 triple14) -> (rule2 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((triple16 ((((triple15) -> (rule3 % int3)) triple14) -> (rule2 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((triple15) -> (rule3 % int3)) ((((triple15) -> (rule3 % int3)) triple14) -> (rule2 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
triple13
Gary is quiet.
("Gary" "is" "quiet" "+")
triple14
Gary is red.
("Gary" "is" "red" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
((triple15) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((triple3 triple2) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple9) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple3 ((triple3 triple2) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2