Charlie is big. Charlie is blue. Charlie is kind. Charlie is nice. Charlie is red. Charlie is round. Charlie is white. Erin is big. Erin is blue. Erin is kind. Erin is nice. Erin is red. Erin is round. Erin is white. Gary is kind. Gary is white. All round, kind things are big. If something is white and blue then it is round. All nice, red things are big. Big, red things are round. If Charlie is nice then Charlie is big. If something is red then it is big. All kind, blue things are round. If Gary is white then Gary is red.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is white.
("Gary" "is" "white" "+")
All round, kind things are big.
((("something" "is" "round" "+") ("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
If something is white and blue then it is round.
((("something" "is" "white" "+") ("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
All nice, red things are big.
((("something" "is" "nice" "+") ("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
Big, red things are round.
((("something" "is" "big" "+") ("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
If Charlie is nice then Charlie is big.
((("Charlie" "is" "nice" "+")) -> ("Charlie" "is" "big" "+"))
If something is red then it is big.
((("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
All kind, blue things are round.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
If Gary is white then Gary is red.
((("Gary" "is" "white" "+")) -> ("Gary" "is" "red" "+"))
Erin is nice.
True
1
proof
[(triple11)]
("Erin" "is" "nice" "+")
triple11
Erin is not nice.
False
1
inv-proof
[(triple11)]
("Erin" "is" "nice" "-")
triple11
Gary is red.
True
2
proof
[(((triple16) -> rule8))]
("Gary" "is" "red" "+")
((triple16) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not red.
False
2
inv-proof
[(((triple16) -> rule8))]
("Gary" "is" "red" "-")
((triple16) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
True
3
proof
[(((((triple16) -> rule8)) -> rule6))]
("Gary" "is" "big" "+")
((((triple16) -> (rule8 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is not big.
False
3
inv-proof
[(((((triple16) -> rule8)) -> rule6))]
("Gary" "is" "big" "-")
((((triple16) -> (rule8 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is round.
True
6
proof
[(((((((triple16) -> rule8)) -> rule6) ((triple16) -> rule8)) -> rule4))]
("Gary" "is" "round" "+")
((((((triple16) -> (rule8 % int3))) -> (rule6 % int2)) ((triple16) -> (rule8 % int3))) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is not round.
False
6
inv-proof
[(((((((triple16) -> rule8)) -> rule6) ((triple16) -> rule8)) -> rule4))]
("Gary" "is" "round" "-")
((((((triple16) -> (rule8 % int3))) -> (rule6 % int2)) ((triple16) -> (rule8 % int3))) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Charlie is big.[(triple1 OR ((triple4) -> rule5) OR ((triple5) -> rule6) OR ((triple4 triple5) -> rule3) OR ((triple6 triple3) -> rule1) OR ((((triple3 triple2) -> rule7) triple3) -> rule1) OR ((((triple7 triple2) -> rule2) triple3) -> rule1))] Charlie is blue.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is red.[(triple5)] Charlie is round.[(triple6 OR ((triple1 triple5) -> rule4) OR ((triple3 triple2) -> rule7) OR ((triple7 triple2) -> rule2) OR ((((triple4) -> rule5) triple5) -> rule4) OR ((((triple5) -> rule6) triple5) -> rule4) OR ((((triple4 triple5) -> rule3) triple5) -> rule4))] Charlie is white.[(triple7)] Erin is big.[(triple8 OR ((triple12) -> rule6) OR ((triple11 triple12) -> rule3) OR ((triple13 triple10) -> rule1) OR ((((triple10 triple9) -> rule7) triple10) -> rule1) OR ((((triple14 triple9) -> rule2) triple10) -> rule1))] Erin is blue.[(triple9)] Erin is kind.[(triple10)] Erin is nice.[(triple11)] Erin is red.[(triple12)] Erin is round.[(triple13 OR ((triple10 triple9) -> rule7) OR ((triple14 triple9) -> rule2) OR ((triple8 triple12) -> rule4) OR ((((triple12) -> rule6) triple12) -> rule4) OR ((((triple11 triple12) -> rule3) triple12) -> rule4))] Erin is white.[(triple14)] Gary is kind.[(triple15)] Gary is white.[(triple16)] @1: Gary is red.[(((triple16) -> rule8))] @2: Gary is big.[(((((triple16) -> rule8)) -> rule6))] @3: Gary is round.[(((((((triple16) -> rule8)) -> rule6) ((triple16) -> rule8)) -> rule4))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
((triple4) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple5) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple4 triple5) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple6 triple3) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((triple3 triple2) -> (rule7 % int2)) triple3) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple7 triple2) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple6
((triple1 triple5) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((triple3 triple2) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((triple7 triple2) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((((triple4) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple5) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple4 triple5) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
triple7
Erin is big.
("Erin" "is" "big" "+")
triple8
((triple12) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple11 triple12) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple13 triple10) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((triple10 triple9) -> (rule7 % int2)) triple10) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((triple14 triple9) -> (rule2 % int2)) triple10) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
triple9
Erin is kind.
("Erin" "is" "kind" "+")
triple10
Erin is nice.
("Erin" "is" "nice" "+")
triple11
Erin is red.
("Erin" "is" "red" "+")
triple12
Erin is round.
("Erin" "is" "round" "+")
triple13
((triple10 triple9) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple14 triple9) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple8 triple12) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((triple12) -> (rule6 % int2)) triple12) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple11 triple12) -> (rule3 % int2)) triple12) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
triple14
Gary is kind.
("Gary" "is" "kind" "+")
triple15
Gary is white.
("Gary" "is" "white" "+")
triple16
Gary is red.
("Gary" "is" "red" "+")
((triple16) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((((triple16) -> (rule8 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((((((triple16) -> (rule8 % int3))) -> (rule6 % int2)) ((triple16) -> (rule8 % int3))) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3