Charlie is blue. Charlie is cold. Charlie is nice. Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. Erin is blue. Erin is nice. Erin is red. Erin is rough. Erin is smart. Erin is white. Fiona is red. Fiona is white. White, cold things are rough. Red things are cold. All red things are nice. If Erin is red and Erin is white then Erin is smart. If Charlie is nice and Charlie is smart then Charlie is blue. Red things are nice.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is white.
("Fiona" "is" "white" "+")
White, cold things are rough.
((("something" "is" "white" "+") ("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
Red things are cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
All red things are nice.
((("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
If Erin is red and Erin is white then Erin is smart.
((("Erin" "is" "red" "+") ("Erin" "is" "white" "+")) -> ("Erin" "is" "smart" "+"))
If Charlie is nice and Charlie is smart then Charlie is blue.
((("Charlie" "is" "nice" "+") ("Charlie" "is" "smart" "+")) -> ("Charlie" "is" "blue" "+"))
Red things are nice.
((("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
Erin is white.
True
1
proof
[(triple13)]
("Erin" "is" "white" "+")
triple13
Erin is not blue.
False
1
inv-proof
[(triple8)]
("Erin" "is" "blue" "-")
triple8
Fiona is nice.
True
2
proof
[(((triple14) -> rule3) OR ((triple14) -> rule6))]
("Fiona" "is" "nice" "+")
((triple14) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((triple14) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not cold.
False
2
inv-proof
[(((triple14) -> rule2))]
("Fiona" "is" "cold" "-")
((triple14) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is rough.
True
4
proof
[(((triple15 ((triple14) -> rule2)) -> rule1))]
("Fiona" "is" "rough" "+")
((triple15 ((triple14) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is not rough.
False
4
inv-proof
[(((triple15 ((triple14) -> rule2)) -> rule1))]
("Fiona" "is" "rough" "-")
((triple15 ((triple14) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Charlie is blue.[(triple1 OR ((triple3 triple6) -> rule5) OR ((((triple4) -> rule3) triple6) -> rule5) OR ((((triple4) -> rule6) triple6) -> rule5))] Charlie is cold.[(triple2 OR ((triple4) -> rule2))] Charlie is nice.[(triple3 OR ((triple4) -> rule3) OR ((triple4) -> rule6))] Charlie is red.[(triple4)] Charlie is rough.[(triple5 OR ((triple7 triple2) -> rule1) OR ((triple7 ((triple4) -> rule2)) -> rule1))] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] Erin is blue.[(triple8)] Erin is nice.[(triple9 OR ((triple10) -> rule3) OR ((triple10) -> rule6))] Erin is red.[(triple10)] Erin is rough.[(triple11 OR ((triple13 ((triple10) -> rule2)) -> rule1))] Erin is smart.[(triple12 OR ((triple10 triple13) -> rule4))] Erin is white.[(triple13)] Fiona is red.[(triple14)] Fiona is white.[(triple15)] @1: Erin is cold.[(((triple10) -> rule2))] Fiona is cold.[(((triple14) -> rule2))] Fiona is nice.[(((triple14) -> rule3) OR ((triple14) -> rule6))] @2: Fiona is rough.[(((triple15 ((triple14) -> rule2)) -> rule1))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
((triple3 triple6) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((((triple4) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple4) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
((triple4) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
((triple4) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple4) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
((triple7 triple2) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((triple7 ((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
Charlie is white.
("Charlie" "is" "white" "+")
triple7
Erin is blue.
("Erin" "is" "blue" "+")
triple8
Erin is nice.
("Erin" "is" "nice" "+")
triple9
((triple10) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple10) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
triple10
Erin is rough.
("Erin" "is" "rough" "+")
triple11
((triple13 ((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
triple12
((triple10 triple13) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
triple13
Fiona is red.
("Fiona" "is" "red" "+")
triple14
Fiona is white.
("Fiona" "is" "white" "+")
triple15
Erin is cold.
("Erin" "is" "cold" "+")
((triple10) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple14) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple14) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((triple14) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple15 ((triple14) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2