Charlie is kind. Charlie is smart. Dave is big. Dave is kind. Erin is big. Erin is kind. Erin is nice. Erin is quiet. Erin is smart. Erin is white. Gary is smart. If something is quiet then it is white. Nice things are white. If something is nice then it is kind. All cold things are nice. If something is quiet then it is white. All kind, big things are cold. If Charlie is smart then Charlie is quiet. If something is white and smart then it is big. If Charlie is cold and Charlie is big then Charlie is smart.
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If something is quiet then it is white.
((("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
Nice things are white.
((("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
If something is nice then it is kind.
((("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
All cold things are nice.
((("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
If something is quiet then it is white.
((("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
All kind, big things are cold.
((("something" "is" "kind" "+") ("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
If Charlie is smart then Charlie is quiet.
((("Charlie" "is" "smart" "+")) -> ("Charlie" "is" "quiet" "+"))
If something is white and smart then it is big.
((("something" "is" "white" "+") ("something" "is" "smart" "+")) -> ("something" "is" "big" "+"))
If Charlie is cold and Charlie is big then Charlie is smart.
((("Charlie" "is" "cold" "+") ("Charlie" "is" "big" "+")) -> ("Charlie" "is" "smart" "+"))
Erin is big.
True
1
proof
[(triple5 OR ((triple10 triple9) -> rule8) OR ((((triple7) -> rule2) triple9) -> rule8) OR ((((triple8) -> rule1) triple9) -> rule8) OR ((((triple8) -> rule5) triple9) -> rule8))]
("Erin" "is" "big" "+")
triple5
((triple10 triple9) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((triple7) -> (rule2 % int2)) triple9) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple8) -> (rule1 % int2)) triple9) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple8) -> (rule5 % int2)) triple9) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is not white.
False
1
inv-proof
[(triple10 OR ((triple7) -> rule2) OR ((triple8) -> rule1) OR ((triple8) -> rule5) OR ((((((triple6 triple5) -> rule6)) -> rule4)) -> rule2))]
("Erin" "is" "white" "-")
triple10
((triple7) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple8) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple8) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((((triple6 triple5) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Charlie is quiet.
True
2
proof
[(((triple2) -> rule7))]
("Charlie" "is" "quiet" "+")
((triple2) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Erin is not cold.
False
3
inv-proof
[(((triple6 triple5) -> rule6) OR ((triple6 ((triple10 triple9) -> rule8)) -> rule6) OR ((((triple7) -> rule3) triple5) -> rule6) OR ((((triple7) -> rule3) ((triple10 triple9) -> rule8)) -> rule6) OR ((triple6 ((((triple7) -> rule2) triple9) -> rule8)) -> rule6) OR ((triple6 ((((triple8) -> rule1) triple9) -> rule8)) -> rule6) OR ((triple6 ((((triple8) -> rule5) triple9) -> rule8)) -> rule6) OR ((((triple7) -> rule3) ((((triple7) -> rule2) triple9) -> rule8)) -> rule6) OR ((((triple7) -> rule3) ((((triple8) -> rule1) triple9) -> rule8)) -> rule6) OR ((((triple7) -> rule3) ((((triple8) -> rule5) triple9) -> rule8)) -> rule6))]
("Erin" "is" "cold" "-")
((triple6 triple5) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple6 ((triple10 triple9) -> (rule8 % int2))) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple7) -> (rule3 % int2)) triple5) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((triple7) -> (rule3 % int3)) ((triple10 triple9) -> (rule8 % int2))) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((triple6 ((((triple7) -> (rule2 % int3)) triple9) -> (rule8 % int2))) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((triple6 ((((triple8) -> (rule1 % int3)) triple9) -> (rule8 % int2))) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((triple6 ((((triple8) -> (rule5 % int3)) triple9) -> (rule8 % int2))) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((triple7) -> (rule3 % int4)) ((((triple7) -> (rule2 % int3)) triple9) -> (rule8 % int2))) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((triple7) -> (rule3 % int4)) ((((triple8) -> (rule1 % int3)) triple9) -> (rule8 % int2))) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((triple7) -> (rule3 % int4)) ((((triple8) -> (rule5 % int3)) triple9) -> (rule8 % int2))) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Charlie is white.
True
3
proof
[(((((triple2) -> rule7)) -> rule1) OR ((((triple2) -> rule7)) -> rule5))]
("Charlie" "is" "white" "+")
((((triple2) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple2) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is not white.
False
3
inv-proof
[(((((triple2) -> rule7)) -> rule1) OR ((((triple2) -> rule7)) -> rule5))]
("Charlie" "is" "white" "-")
((((triple2) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple2) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
True
5
proof
[(((((((triple2) -> rule7)) -> rule1) triple2) -> rule8) OR ((((((triple2) -> rule7)) -> rule5) triple2) -> rule8))]
("Charlie" "is" "big" "+")
((((((triple2) -> (rule7 % int3))) -> (rule1 % int2)) triple2) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple2) -> (rule7 % int3))) -> (rule5 % int2)) triple2) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is not big.
False
5
inv-proof
[(((((((triple2) -> rule7)) -> rule1) triple2) -> rule8) OR ((((((triple2) -> rule7)) -> rule5) triple2) -> rule8))]
("Charlie" "is" "big" "-")
((((((triple2) -> (rule7 % int3))) -> (rule1 % int2)) triple2) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple2) -> (rule7 % int3))) -> (rule5 % int2)) triple2) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is cold.
True
7
proof
[(((triple1 ((((((triple2) -> rule7)) -> rule1) triple2) -> rule8)) -> rule6) OR ((triple1 ((((((triple2) -> rule7)) -> rule5) triple2) -> rule8)) -> rule6))]
("Charlie" "is" "cold" "+")
((triple1 ((((((triple2) -> (rule7 % int4))) -> (rule1 % int3)) triple2) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((triple1 ((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) triple2) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is not cold.
False
7
inv-proof
[(((triple1 ((((((triple2) -> rule7)) -> rule1) triple2) -> rule8)) -> rule6) OR ((triple1 ((((((triple2) -> rule7)) -> rule5) triple2) -> rule8)) -> rule6))]
("Charlie" "is" "cold" "-")
((triple1 ((((((triple2) -> (rule7 % int4))) -> (rule1 % int3)) triple2) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((triple1 ((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) triple2) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is nice.
True
8
proof
[(((((triple1 ((((((triple2) -> rule7)) -> rule1) triple2) -> rule8)) -> rule6)) -> rule4) OR ((((triple1 ((((((triple2) -> rule7)) -> rule5) triple2) -> rule8)) -> rule6)) -> rule4))]
("Charlie" "is" "nice" "+")
((((triple1 ((((((triple2) -> (rule7 % int5))) -> (rule1 % int4)) triple2) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((triple1 ((((((triple2) -> (rule7 % int5))) -> (rule5 % int4)) triple2) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
Charlie is not nice.
False
8
inv-proof
[(((((triple1 ((((((triple2) -> rule7)) -> rule1) triple2) -> rule8)) -> rule6)) -> rule4) OR ((((triple1 ((((((triple2) -> rule7)) -> rule5) triple2) -> rule8)) -> rule6)) -> rule4))]
("Charlie" "is" "nice" "-")
((((triple1 ((((((triple2) -> (rule7 % int5))) -> (rule1 % int4)) triple2) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((triple1 ((((((triple2) -> (rule7 % int5))) -> (rule5 % int4)) triple2) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
Gary is not big.
Unknown
inv-rconc
[@4: Gary is big.[CWA. Example of deepest failure = (rule8 <- rule2 <- rule4 <- rule6 <- FAIL)]]
("Gary" "is" "big" "-")
Gary is white.
Unknown
rconc
[@4: Gary is white.[CWA. Example of deepest failure = (rule2 <- rule4 <- rule6 <- rule3 <- FAIL)]]
("Gary" "is" "white" "+")
Gary is not nice.
Unknown
inv-rconc
[@3: Gary is nice.[CWA. Example of deepest failure = (rule4 <- rule6 <- rule3 <- FAIL)]]
("Gary" "is" "nice" "-")
Gary is cold.
Unknown
rconc
[@3: Gary is cold.[CWA. Example of deepest failure = (rule6 <- rule3 <- rule4 <- FAIL)]]
("Gary" "is" "cold" "+")
Gary is not kind.
Unknown
inv-rconc
[@3: Gary is kind.[CWA. Example of deepest failure = (rule3 <- rule4 <- rule6 <- FAIL)]]
("Gary" "is" "kind" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
Dave is not smart.
Unknown
inv-random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
@0: Charlie is kind.[(triple1)] Charlie is smart.[(triple2)] Dave is big.[(triple3)] Dave is kind.[(triple4)] Erin is big.[(triple5 OR ((triple10 triple9) -> rule8) OR ((((triple7) -> rule2) triple9) -> rule8) OR ((((triple8) -> rule1) triple9) -> rule8) OR ((((triple8) -> rule5) triple9) -> rule8))] Erin is kind.[(triple6 OR ((triple7) -> rule3))] Erin is nice.[(triple7 OR ((((triple6 triple5) -> rule6)) -> rule4) OR ((((triple6 ((triple10 triple9) -> rule8)) -> rule6)) -> rule4) OR ((((triple6 ((((triple8) -> rule1) triple9) -> rule8)) -> rule6)) -> rule4) OR ((((triple6 ((((triple8) -> rule5) triple9) -> rule8)) -> rule6)) -> rule4))] Erin is quiet.[(triple8)] Erin is smart.[(triple9)] Erin is white.[(triple10 OR ((triple7) -> rule2) OR ((triple8) -> rule1) OR ((triple8) -> rule5) OR ((((((triple6 triple5) -> rule6)) -> rule4)) -> rule2))] Gary is smart.[(triple11)] @1: Charlie is quiet.[(((triple2) -> rule7))] Dave is cold.[(((triple4 triple3) -> rule6))] Erin is cold.[(((triple6 triple5) -> rule6) OR ((triple6 ((triple10 triple9) -> rule8)) -> rule6) OR ((((triple7) -> rule3) triple5) -> rule6) OR ((((triple7) -> rule3) ((triple10 triple9) -> rule8)) -> rule6) OR ((triple6 ((((triple7) -> rule2) triple9) -> rule8)) -> rule6) OR ((triple6 ((((triple8) -> rule1) triple9) -> rule8)) -> rule6) OR ((triple6 ((((triple8) -> rule5) triple9) -> rule8)) -> rule6) OR ((((triple7) -> rule3) ((((triple7) -> rule2) triple9) -> rule8)) -> rule6) OR ((((triple7) -> rule3) ((((triple8) -> rule1) triple9) -> rule8)) -> rule6) OR ((((triple7) -> rule3) ((((triple8) -> rule5) triple9) -> rule8)) -> rule6))] @2: Charlie is white.[(((((triple2) -> rule7)) -> rule1) OR ((((triple2) -> rule7)) -> rule5))] Dave is nice.[(((((triple4 triple3) -> rule6)) -> rule4))] @3: Charlie is big.[(((((((triple2) -> rule7)) -> rule1) triple2) -> rule8) OR ((((((triple2) -> rule7)) -> rule5) triple2) -> rule8))] Dave is white.[(((((((triple4 triple3) -> rule6)) -> rule4)) -> rule2))] @4: Charlie is cold.[(((triple1 ((((((triple2) -> rule7)) -> rule1) triple2) -> rule8)) -> rule6) OR ((triple1 ((((((triple2) -> rule7)) -> rule5) triple2) -> rule8)) -> rule6))] @5: Charlie is nice.[(((((triple1 ((((((triple2) -> rule7)) -> rule1) triple2) -> rule8)) -> rule6)) -> rule4) OR ((((triple1 ((((((triple2) -> rule7)) -> rule5) triple2) -> rule8)) -> rule6)) -> rule4))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
((triple10 triple9) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((triple7) -> (rule2 % int2)) triple9) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple8) -> (rule1 % int2)) triple9) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple8) -> (rule5 % int2)) triple9) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
triple6
((triple7) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
triple7
((((triple6 triple5) -> (rule6 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple6 ((triple10 triple9) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple6 ((((triple8) -> (rule1 % int4)) triple9) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple6 ((((triple8) -> (rule5 % int4)) triple9) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
Erin is smart.
("Erin" "is" "smart" "+")
triple9
Erin is white.
("Erin" "is" "white" "+")
triple10
((triple7) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple8) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple8) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((((triple6 triple5) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
triple11
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple2) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple4 triple3) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((triple6 triple5) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple6 ((triple10 triple9) -> (rule8 % int2))) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple7) -> (rule3 % int2)) triple5) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((triple7) -> (rule3 % int3)) ((triple10 triple9) -> (rule8 % int2))) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((triple6 ((((triple7) -> (rule2 % int3)) triple9) -> (rule8 % int2))) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((triple6 ((((triple8) -> (rule1 % int3)) triple9) -> (rule8 % int2))) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((triple6 ((((triple8) -> (rule5 % int3)) triple9) -> (rule8 % int2))) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((triple7) -> (rule3 % int4)) ((((triple7) -> (rule2 % int3)) triple9) -> (rule8 % int2))) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((triple7) -> (rule3 % int4)) ((((triple8) -> (rule1 % int3)) triple9) -> (rule8 % int2))) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((triple7) -> (rule3 % int4)) ((((triple8) -> (rule5 % int3)) triple9) -> (rule8 % int2))) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
((((triple2) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple2) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((((triple4 triple3) -> (rule6 % int2))) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((((((triple2) -> (rule7 % int3))) -> (rule1 % int2)) triple2) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple2) -> (rule7 % int3))) -> (rule5 % int2)) triple2) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
((((((triple4 triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple1 ((((((triple2) -> (rule7 % int4))) -> (rule1 % int3)) triple2) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((triple1 ((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) triple2) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple1 ((((((triple2) -> (rule7 % int5))) -> (rule1 % int4)) triple2) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((triple1 ((((((triple2) -> (rule7 % int5))) -> (rule5 % int4)) triple2) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5