Charlie is cold. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is round. Charlie is smart. Charlie is white. Nice things are round. Cold things are red. If Charlie is quiet then Charlie is cold. Red things are white. Quiet, nice things are round. All nice, red things are white. If something is round then it is red. Round, white things are smart.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Nice things are round.
((("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
Cold things are red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
If Charlie is quiet then Charlie is cold.
((("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "cold" "+"))
Red things are white.
((("something" "is" "red" "+")) -> ("something" "is" "white" "+"))
Quiet, nice things are round.
((("something" "is" "quiet" "+") ("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
All nice, red things are white.
((("something" "is" "nice" "+") ("something" "is" "red" "+")) -> ("something" "is" "white" "+"))
If something is round then it is red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
Round, white things are smart.
((("something" "is" "round" "+") ("something" "is" "white" "+")) -> ("something" "is" "smart" "+"))
Charlie is smart.
True
1
proof
[(triple6 OR ((triple5 triple7) -> rule8) OR ((triple5 ((triple4) -> rule4)) -> rule8) OR ((triple5 ((triple2 triple4) -> rule6)) -> rule8) OR ((((triple2) -> rule1) triple7) -> rule8) OR ((((triple3 triple2) -> rule5) triple7) -> rule8) OR ((((triple2) -> rule1) ((triple4) -> rule4)) -> rule8) OR ((((triple2) -> rule1) ((triple2 triple4) -> rule6)) -> rule8) OR ((((triple3 triple2) -> rule5) ((triple4) -> rule4)) -> rule8) OR ((((triple3 triple2) -> rule5) ((triple2 triple4) -> rule6)) -> rule8) OR ((triple5 ((((triple1) -> rule2)) -> rule4)) -> rule8) OR ((triple5 ((((triple5) -> rule7)) -> rule4)) -> rule8) OR ((triple5 ((triple2 ((triple1) -> rule2)) -> rule6)) -> rule8) OR ((triple5 ((triple2 ((triple5) -> rule7)) -> rule6)) -> rule8) OR ((((triple2) -> rule1) ((((triple1) -> rule2)) -> rule4)) -> rule8) OR ((((triple2) -> rule1) ((((triple5) -> rule7)) -> rule4)) -> rule8) OR ((((triple2) -> rule1) ((triple2 ((triple1) -> rule2)) -> rule6)) -> rule8) OR ((((triple2) -> rule1) ((triple2 ((triple5) -> rule7)) -> rule6)) -> rule8) OR ((((triple3 triple2) -> rule5) ((((triple1) -> rule2)) -> rule4)) -> rule8) OR ((((triple3 triple2) -> rule5) ((((triple5) -> rule7)) -> rule4)) -> rule8) OR ((((triple3 triple2) -> rule5) ((triple2 ((triple1) -> rule2)) -> rule6)) -> rule8) OR ((((triple3 triple2) -> rule5) ((triple2 ((triple5) -> rule7)) -> rule6)) -> rule8) OR ((triple5 ((((((triple2) -> rule1)) -> rule7)) -> rule4)) -> rule8) OR ((triple5 ((((((triple3) -> rule3)) -> rule2)) -> rule4)) -> rule8) OR ((triple5 ((((((triple3 triple2) -> rule5)) -> rule7)) -> rule4)) -> rule8) OR ((triple5 ((triple2 ((((triple2) -> rule1)) -> rule7)) -> rule6)) -> rule8) OR ((triple5 ((triple2 ((((triple3) -> rule3)) -> rule2)) -> rule6)) -> rule8) OR ((triple5 ((triple2 ((((triple3 triple2) -> rule5)) -> rule7)) -> rule6)) -> rule8) OR ((((triple2) -> rule1) ((((((triple2) -> rule1)) -> rule7)) -> rule4)) -> rule8) OR ((((triple2) -> rule1) ((((((triple3) -> rule3)) -> rule2)) -> rule4)) -> rule8) OR ((((triple2) -> rule1) ((((((triple3 triple2) -> rule5)) -> rule7)) -> rule4)) -> rule8) OR ((((triple2) -> rule1) ((triple2 ((((triple2) -> rule1)) -> rule7)) -> rule6)) -> rule8) OR ((((triple2) -> rule1) ((triple2 ((((triple3) -> rule3)) -> rule2)) -> rule6)) -> rule8) OR ((((triple2) -> rule1) ((triple2 ((((triple3 triple2) -> rule5)) -> rule7)) -> rule6)) -> rule8) OR ((((triple3 triple2) -> rule5) ((((((triple2) -> rule1)) -> rule7)) -> rule4)) -> rule8) OR ((((triple3 triple2) -> rule5) ((((((triple3) -> rule3)) -> rule2)) -> rule4)) -> rule8) OR ((((triple3 triple2) -> rule5) ((((((triple3 triple2) -> rule5)) -> rule7)) -> rule4)) -> rule8) OR ((((triple3 triple2) -> rule5) ((triple2 ((((triple2) -> rule1)) -> rule7)) -> rule6)) -> rule8) OR ((((triple3 triple2) -> rule5) ((triple2 ((((triple3) -> rule3)) -> rule2)) -> rule6)) -> rule8) OR ((((triple3 triple2) -> rule5) ((triple2 ((((triple3 triple2) -> rule5)) -> rule7)) -> rule6)) -> rule8))]
("Charlie" "is" "smart" "+")
triple6
((triple5 triple7) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((triple5 ((triple4) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((triple5 ((triple2 triple4) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((triple2) -> (rule1 % int2)) triple7) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple3 triple2) -> (rule5 % int2)) triple7) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple2) -> (rule1 % int3)) ((triple4) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple2) -> (rule1 % int3)) ((triple2 triple4) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple3 triple2) -> (rule5 % int3)) ((triple4) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple3 triple2) -> (rule5 % int3)) ((triple2 triple4) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((triple5 ((((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((triple5 ((((triple5) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((triple5 ((triple2 ((triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((triple5 ((triple2 ((triple5) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple2) -> (rule1 % int4)) ((((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple2) -> (rule1 % int4)) ((((triple5) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple2) -> (rule1 % int4)) ((triple2 ((triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple2) -> (rule1 % int4)) ((triple2 ((triple5) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple3 triple2) -> (rule5 % int4)) ((((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple3 triple2) -> (rule5 % int4)) ((((triple5) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple3 triple2) -> (rule5 % int4)) ((triple2 ((triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple3 triple2) -> (rule5 % int4)) ((triple2 ((triple5) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((triple5 ((((((triple2) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((triple5 ((((((triple3) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((triple5 ((((((triple3 triple2) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((triple5 ((triple2 ((((triple2) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((triple5 ((triple2 ((((triple3) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((triple5 ((triple2 ((((triple3 triple2) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple2) -> (rule1 % int4)) ((((((triple2) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple2) -> (rule1 % int5)) ((((((triple3) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((triple2) -> (rule1 % int4)) ((((((triple3 triple2) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple2) -> (rule1 % int4)) ((triple2 ((((triple2) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple2) -> (rule1 % int5)) ((triple2 ((((triple3) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((triple2) -> (rule1 % int4)) ((triple2 ((((triple3 triple2) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple3 triple2) -> (rule5 % int4)) ((((((triple2) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple3 triple2) -> (rule5 % int5)) ((((((triple3) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((triple3 triple2) -> (rule5 % int4)) ((((((triple3 triple2) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple3 triple2) -> (rule5 % int4)) ((triple2 ((((triple2) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple3 triple2) -> (rule5 % int5)) ((triple2 ((((triple3) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((triple3 triple2) -> (rule5 % int4)) ((triple2 ((((triple3 triple2) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is not cold.
False
1
inv-proof
[(triple1 OR ((triple3) -> rule3))]
("Charlie" "is" "cold" "-")
triple1
((triple3) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
@0: Charlie is cold.[(triple1 OR ((triple3) -> rule3))] Charlie is nice.[(triple2)] Charlie is quiet.[(triple3)] Charlie is red.[(triple4 OR ((triple1) -> rule2) OR ((triple5) -> rule7) OR ((((triple2) -> rule1)) -> rule7) OR ((((triple3) -> rule3)) -> rule2) OR ((((triple3 triple2) -> rule5)) -> rule7))] Charlie is round.[(triple5 OR ((triple2) -> rule1) OR ((triple3 triple2) -> rule5))] Charlie is smart.[(triple6 OR ((triple5 triple7) -> rule8) OR ((triple5 ((triple4) -> rule4)) -> rule8) OR ((triple5 ((triple2 triple4) -> rule6)) -> rule8) OR ((((triple2) -> rule1) triple7) -> rule8) OR ((((triple3 triple2) -> rule5) triple7) -> rule8) OR ((((triple2) -> rule1) ((triple4) -> rule4)) -> rule8) OR ((((triple2) -> rule1) ((triple2 triple4) -> rule6)) -> rule8) OR ((((triple3 triple2) -> rule5) ((triple4) -> rule4)) -> rule8) OR ((((triple3 triple2) -> rule5) ((triple2 triple4) -> rule6)) -> rule8) OR ((triple5 ((((triple1) -> rule2)) -> rule4)) -> rule8) OR ((triple5 ((((triple5) -> rule7)) -> rule4)) -> rule8) OR ((triple5 ((triple2 ((triple1) -> rule2)) -> rule6)) -> rule8) OR ((triple5 ((triple2 ((triple5) -> rule7)) -> rule6)) -> rule8) OR ((((triple2) -> rule1) ((((triple1) -> rule2)) -> rule4)) -> rule8) OR ((((triple2) -> rule1) ((((triple5) -> rule7)) -> rule4)) -> rule8) OR ((((triple2) -> rule1) ((triple2 ((triple1) -> rule2)) -> rule6)) -> rule8) OR ((((triple2) -> rule1) ((triple2 ((triple5) -> rule7)) -> rule6)) -> rule8) OR ((((triple3 triple2) -> rule5) ((((triple1) -> rule2)) -> rule4)) -> rule8) OR ((((triple3 triple2) -> rule5) ((((triple5) -> rule7)) -> rule4)) -> rule8) OR ((((triple3 triple2) -> rule5) ((triple2 ((triple1) -> rule2)) -> rule6)) -> rule8) OR ((((triple3 triple2) -> rule5) ((triple2 ((triple5) -> rule7)) -> rule6)) -> rule8) OR ((triple5 ((((((triple2) -> rule1)) -> rule7)) -> rule4)) -> rule8) OR ((triple5 ((((((triple3) -> rule3)) -> rule2)) -> rule4)) -> rule8) OR ((triple5 ((((((triple3 triple2) -> rule5)) -> rule7)) -> rule4)) -> rule8) OR ((triple5 ((triple2 ((((triple2) -> rule1)) -> rule7)) -> rule6)) -> rule8) OR ((triple5 ((triple2 ((((triple3) -> rule3)) -> rule2)) -> rule6)) -> rule8) OR ((triple5 ((triple2 ((((triple3 triple2) -> rule5)) -> rule7)) -> rule6)) -> rule8) OR ((((triple2) -> rule1) ((((((triple2) -> rule1)) -> rule7)) -> rule4)) -> rule8) OR ((((triple2) -> rule1) ((((((triple3) -> rule3)) -> rule2)) -> rule4)) -> rule8) OR ((((triple2) -> rule1) ((((((triple3 triple2) -> rule5)) -> rule7)) -> rule4)) -> rule8) OR ((((triple2) -> rule1) ((triple2 ((((triple2) -> rule1)) -> rule7)) -> rule6)) -> rule8) OR ((((triple2) -> rule1) ((triple2 ((((triple3) -> rule3)) -> rule2)) -> rule6)) -> rule8) OR ((((triple2) -> rule1) ((triple2 ((((triple3 triple2) -> rule5)) -> rule7)) -> rule6)) -> rule8) OR ((((triple3 triple2) -> rule5) ((((((triple2) -> rule1)) -> rule7)) -> rule4)) -> rule8) OR ((((triple3 triple2) -> rule5) ((((((triple3) -> rule3)) -> rule2)) -> rule4)) -> rule8) OR ((((triple3 triple2) -> rule5) ((((((triple3 triple2) -> rule5)) -> rule7)) -> rule4)) -> rule8) OR ((((triple3 triple2) -> rule5) ((triple2 ((((triple2) -> rule1)) -> rule7)) -> rule6)) -> rule8) OR ((((triple3 triple2) -> rule5) ((triple2 ((((triple3) -> rule3)) -> rule2)) -> rule6)) -> rule8) OR ((((triple3 triple2) -> rule5) ((triple2 ((((triple3 triple2) -> rule5)) -> rule7)) -> rule6)) -> rule8))] Charlie is white.[(triple7 OR ((triple4) -> rule4) OR ((triple2 triple4) -> rule6) OR ((((triple1) -> rule2)) -> rule4) OR ((((triple5) -> rule7)) -> rule4) OR ((triple2 ((triple1) -> rule2)) -> rule6) OR ((triple2 ((triple5) -> rule7)) -> rule6) OR ((((((triple2) -> rule1)) -> rule7)) -> rule4) OR ((((((triple3) -> rule3)) -> rule2)) -> rule4) OR ((((((triple3 triple2) -> rule5)) -> rule7)) -> rule4) OR ((triple2 ((((triple2) -> rule1)) -> rule7)) -> rule6) OR ((triple2 ((((triple3) -> rule3)) -> rule2)) -> rule6) OR ((triple2 ((((triple3 triple2) -> rule5)) -> rule7)) -> rule6))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
((triple3) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple4
((triple1) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((triple5) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((triple3 triple2) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
triple5
((triple2) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((triple3 triple2) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
((triple5 triple7) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((triple5 ((triple4) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((triple5 ((triple2 triple4) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((triple2) -> (rule1 % int2)) triple7) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple3 triple2) -> (rule5 % int2)) triple7) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple2) -> (rule1 % int3)) ((triple4) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple2) -> (rule1 % int3)) ((triple2 triple4) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple3 triple2) -> (rule5 % int3)) ((triple4) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple3 triple2) -> (rule5 % int3)) ((triple2 triple4) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((triple5 ((((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((triple5 ((((triple5) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((triple5 ((triple2 ((triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((triple5 ((triple2 ((triple5) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple2) -> (rule1 % int4)) ((((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple2) -> (rule1 % int4)) ((((triple5) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple2) -> (rule1 % int4)) ((triple2 ((triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple2) -> (rule1 % int4)) ((triple2 ((triple5) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple3 triple2) -> (rule5 % int4)) ((((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple3 triple2) -> (rule5 % int4)) ((((triple5) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple3 triple2) -> (rule5 % int4)) ((triple2 ((triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple3 triple2) -> (rule5 % int4)) ((triple2 ((triple5) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((triple5 ((((((triple2) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((triple5 ((((((triple3) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((triple5 ((((((triple3 triple2) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((triple5 ((triple2 ((((triple2) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((triple5 ((triple2 ((((triple3) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((triple5 ((triple2 ((((triple3 triple2) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple2) -> (rule1 % int4)) ((((((triple2) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple2) -> (rule1 % int5)) ((((((triple3) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((triple2) -> (rule1 % int4)) ((((((triple3 triple2) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple2) -> (rule1 % int4)) ((triple2 ((((triple2) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple2) -> (rule1 % int5)) ((triple2 ((((triple3) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((triple2) -> (rule1 % int4)) ((triple2 ((((triple3 triple2) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple3 triple2) -> (rule5 % int4)) ((((((triple2) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple3 triple2) -> (rule5 % int5)) ((((((triple3) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((triple3 triple2) -> (rule5 % int4)) ((((((triple3 triple2) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple3 triple2) -> (rule5 % int4)) ((triple2 ((((triple2) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple3 triple2) -> (rule5 % int5)) ((triple2 ((((triple3) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((triple3 triple2) -> (rule5 % int4)) ((triple2 ((((triple3 triple2) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
triple7
((triple4) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((triple2 triple4) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((((triple5) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((triple2 ((triple1) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((triple2 ((triple5) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((((((triple2) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple3) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((((triple3 triple2) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((triple2 ((((triple2) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((triple2 ((((triple3) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((triple2 ((((triple3 triple2) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3