Charlie is big. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is smart. Quiet, cold people are kind. If someone is kind and quiet then they are smart. If someone is big and quiet then they are furry. If Charlie is big then Charlie is kind. All kind, smart people are furry. If Charlie is cold and Charlie is kind then Charlie is quiet. Big people are kind. If someone is kind and quiet then they are big.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Quiet, cold people are kind.
((("someone" "is" "quiet" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and quiet then they are smart.
((("someone" "is" "kind" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "+"))
If someone is big and quiet then they are furry.
((("someone" "is" "big" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
If Charlie is big then Charlie is kind.
((("Charlie" "is" "big" "+")) -> ("Charlie" "is" "kind" "+"))
All kind, smart people are furry.
((("someone" "is" "kind" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
If Charlie is cold and Charlie is kind then Charlie is quiet.
((("Charlie" "is" "cold" "+") ("Charlie" "is" "kind" "+")) -> ("Charlie" "is" "quiet" "+"))
Big people are kind.
((("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and quiet then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
Charlie is cold.
True
1
proof
[(triple3)]
("Charlie" "is" "cold" "+")
triple3
Charlie is not kind.
False
1
inv-proof
[(triple5 OR ((triple1) -> rule4) OR ((triple1) -> rule7) OR ((triple6 triple3) -> rule1))]
("Charlie" "is" "kind" "-")
triple5
((triple1) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple1) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple6 triple3) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
@0: Charlie is big.[(triple1 OR ((triple5 triple6) -> rule8) OR ((triple5 ((triple3 triple5) -> rule6)) -> rule8) OR ((((triple6 triple3) -> rule1) triple6) -> rule8) OR ((((triple6 triple3) -> rule1) ((triple3 triple5) -> rule6)) -> rule8))] Charlie is blue.[(triple2)] Charlie is cold.[(triple3)] Charlie is furry.[(triple4 OR ((triple1 triple6) -> rule3) OR ((triple5 triple7) -> rule5) OR ((triple1 ((triple3 triple5) -> rule6)) -> rule3) OR ((triple5 ((triple5 triple6) -> rule2)) -> rule5) OR ((((triple1) -> rule4) triple7) -> rule5) OR ((((triple1) -> rule7) triple7) -> rule5) OR ((((triple5 triple6) -> rule8) triple6) -> rule3) OR ((((triple6 triple3) -> rule1) triple7) -> rule5) OR ((((triple1) -> rule4) ((triple5 triple6) -> rule2)) -> rule5) OR ((((triple1) -> rule7) ((triple5 triple6) -> rule2)) -> rule5) OR ((((triple5 triple6) -> rule8) ((triple3 triple5) -> rule6)) -> rule3) OR ((((triple6 triple3) -> rule1) ((triple5 triple6) -> rule2)) -> rule5) OR ((triple1 ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule3) OR ((triple1 ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule3) OR ((triple5 ((triple5 ((triple3 triple5) -> rule6)) -> rule2)) -> rule5) OR ((triple5 ((((triple1) -> rule4) triple6) -> rule2)) -> rule5) OR ((triple5 ((((triple1) -> rule7) triple6) -> rule2)) -> rule5) OR ((triple5 ((((triple6 triple3) -> rule1) triple6) -> rule2)) -> rule5) OR ((((triple5 ((triple3 triple5) -> rule6)) -> rule8) triple6) -> rule3) OR ((((((triple6 triple3) -> rule1) triple6) -> rule8) triple6) -> rule3) OR ((triple5 ((((triple1) -> rule4) ((triple3 triple5) -> rule6)) -> rule2)) -> rule5) OR ((triple5 ((((triple1) -> rule7) ((triple3 triple5) -> rule6)) -> rule2)) -> rule5) OR ((triple5 ((((triple6 triple3) -> rule1) ((triple3 triple5) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule4) ((triple5 ((triple3 triple5) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule4) ((((triple1) -> rule4) triple6) -> rule2)) -> rule5) OR ((((triple1) -> rule4) ((((triple1) -> rule7) triple6) -> rule2)) -> rule5) OR ((((triple1) -> rule4) ((((triple6 triple3) -> rule1) triple6) -> rule2)) -> rule5) OR ((((triple1) -> rule7) ((triple5 ((triple3 triple5) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule7) ((((triple1) -> rule4) triple6) -> rule2)) -> rule5) OR ((((triple1) -> rule7) ((((triple1) -> rule7) triple6) -> rule2)) -> rule5) OR ((((triple1) -> rule7) ((((triple6 triple3) -> rule1) triple6) -> rule2)) -> rule5) OR ((((triple5 triple6) -> rule8) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule3) OR ((((triple5 triple6) -> rule8) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule3) OR ((((triple5 ((triple3 triple5) -> rule6)) -> rule8) ((triple3 triple5) -> rule6)) -> rule3) OR ((((triple6 triple3) -> rule1) ((triple5 ((triple3 triple5) -> rule6)) -> rule2)) -> rule5) OR ((((triple6 triple3) -> rule1) ((((triple1) -> rule4) triple6) -> rule2)) -> rule5) OR ((((triple6 triple3) -> rule1) ((((triple1) -> rule7) triple6) -> rule2)) -> rule5) OR ((((triple6 triple3) -> rule1) ((((triple6 triple3) -> rule1) triple6) -> rule2)) -> rule5) OR ((((((triple6 triple3) -> rule1) triple6) -> rule8) ((triple3 triple5) -> rule6)) -> rule3) OR ((((((triple6 triple3) -> rule1) ((triple3 triple5) -> rule6)) -> rule8) triple6) -> rule3) OR ((((triple1) -> rule4) ((((triple1) -> rule4) ((triple3 triple5) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule4) ((((triple1) -> rule7) ((triple3 triple5) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule4) ((((triple6 triple3) -> rule1) ((triple3 triple5) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule7) ((((triple1) -> rule4) ((triple3 triple5) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule7) ((((triple1) -> rule7) ((triple3 triple5) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule7) ((((triple6 triple3) -> rule1) ((triple3 triple5) -> rule6)) -> rule2)) -> rule5) OR ((((triple5 ((triple3 triple5) -> rule6)) -> rule8) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule3) OR ((((triple5 ((triple3 triple5) -> rule6)) -> rule8) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule3) OR ((((triple6 triple3) -> rule1) ((((triple1) -> rule4) ((triple3 triple5) -> rule6)) -> rule2)) -> rule5) OR ((((triple6 triple3) -> rule1) ((((triple1) -> rule7) ((triple3 triple5) -> rule6)) -> rule2)) -> rule5) OR ((((triple6 triple3) -> rule1) ((((triple6 triple3) -> rule1) ((triple3 triple5) -> rule6)) -> rule2)) -> rule5) OR ((((((triple6 triple3) -> rule1) triple6) -> rule8) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule3) OR ((((((triple6 triple3) -> rule1) triple6) -> rule8) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule3) OR ((((((triple6 triple3) -> rule1) ((triple3 triple5) -> rule6)) -> rule8) ((triple3 triple5) -> rule6)) -> rule3) OR ((((((triple6 triple3) -> rule1) ((triple3 triple5) -> rule6)) -> rule8) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule3) OR ((((((triple6 triple3) -> rule1) ((triple3 triple5) -> rule6)) -> rule8) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule3) OR ((triple5 ((triple5 ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule5) OR ((triple5 ((triple5 ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2)) -> rule5) OR ((triple5 ((((triple1) -> rule4) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule5) OR ((triple5 ((((triple1) -> rule4) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2)) -> rule5) OR ((triple5 ((((triple1) -> rule7) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule5) OR ((triple5 ((((triple1) -> rule7) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2)) -> rule5) OR ((triple5 ((((triple6 triple3) -> rule1) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule5) OR ((triple5 ((((triple6 triple3) -> rule1) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule4) ((triple5 ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule4) ((triple5 ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule7) ((triple5 ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule7) ((triple5 ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2)) -> rule5) OR ((((triple6 triple3) -> rule1) ((triple5 ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule5) OR ((((triple6 triple3) -> rule1) ((triple5 ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule4) ((((triple1) -> rule4) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule4) ((((triple1) -> rule4) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule4) ((((triple1) -> rule7) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule4) ((((triple1) -> rule7) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule4) ((((triple6 triple3) -> rule1) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule4) ((((triple6 triple3) -> rule1) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule7) ((((triple1) -> rule4) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule7) ((((triple1) -> rule4) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule7) ((((triple1) -> rule7) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule7) ((((triple1) -> rule7) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule7) ((((triple6 triple3) -> rule1) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule7) ((((triple6 triple3) -> rule1) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2)) -> rule5) OR ((((triple6 triple3) -> rule1) ((((triple1) -> rule4) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule5) OR ((((triple6 triple3) -> rule1) ((((triple1) -> rule4) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2)) -> rule5) OR ((((triple6 triple3) -> rule1) ((((triple1) -> rule7) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule5) OR ((((triple6 triple3) -> rule1) ((((triple1) -> rule7) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2)) -> rule5) OR ((((triple6 triple3) -> rule1) ((((triple6 triple3) -> rule1) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule5) OR ((((triple6 triple3) -> rule1) ((((triple6 triple3) -> rule1) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2)) -> rule5))] Charlie is kind.[(triple5 OR ((triple1) -> rule4) OR ((triple1) -> rule7) OR ((triple6 triple3) -> rule1))] Charlie is quiet.[(triple6 OR ((triple3 triple5) -> rule6) OR ((triple3 ((triple1) -> rule4)) -> rule6) OR ((triple3 ((triple1) -> rule7)) -> rule6))] Charlie is smart.[(triple7 OR ((triple5 triple6) -> rule2) OR ((triple5 ((triple3 triple5) -> rule6)) -> rule2) OR ((((triple1) -> rule4) triple6) -> rule2) OR ((((triple1) -> rule7) triple6) -> rule2) OR ((((triple6 triple3) -> rule1) triple6) -> rule2) OR ((((triple1) -> rule4) ((triple3 triple5) -> rule6)) -> rule2) OR ((((triple1) -> rule7) ((triple3 triple5) -> rule6)) -> rule2) OR ((((triple6 triple3) -> rule1) ((triple3 triple5) -> rule6)) -> rule2) OR ((triple5 ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2) OR ((triple5 ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2) OR ((((triple1) -> rule4) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2) OR ((((triple1) -> rule4) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2) OR ((((triple1) -> rule7) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2) OR ((((triple1) -> rule7) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2) OR ((((triple6 triple3) -> rule1) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2) OR ((((triple6 triple3) -> rule1) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
((triple5 triple6) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple5 ((triple3 triple5) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple6 triple3) -> (rule1 % int2)) triple6) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple6 triple3) -> (rule1 % int3)) ((triple3 triple5) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is furry.
("Charlie" "is" "furry" "+")
triple4
((triple1 triple6) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((triple5 triple7) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((triple1 ((triple3 triple5) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((triple5 ((triple5 triple6) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple1) -> (rule4 % int2)) triple7) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple1) -> (rule7 % int2)) triple7) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple5 triple6) -> (rule8 % int2)) triple6) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple6 triple3) -> (rule1 % int2)) triple7) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple1) -> (rule4 % int3)) ((triple5 triple6) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple1) -> (rule7 % int3)) ((triple5 triple6) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple5 triple6) -> (rule8 % int3)) ((triple3 triple5) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((triple6 triple3) -> (rule1 % int3)) ((triple5 triple6) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple1 ((triple3 ((triple1) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple1 ((triple3 ((triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple5 ((triple5 ((triple3 triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((triple5 ((((triple1) -> (rule4 % int3)) triple6) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple5 ((((triple1) -> (rule7 % int3)) triple6) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple5 ((((triple6 triple3) -> (rule1 % int3)) triple6) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple5 ((triple3 triple5) -> (rule6 % int3))) -> (rule8 % int2)) triple6) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple6 triple3) -> (rule1 % int3)) triple6) -> (rule8 % int2)) triple6) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple5 ((((triple1) -> (rule4 % int4)) ((triple3 triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((triple5 ((((triple1) -> (rule7 % int4)) ((triple3 triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((triple5 ((((triple6 triple3) -> (rule1 % int4)) ((triple3 triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple1) -> (rule4 % int4)) ((triple5 ((triple3 triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple1) -> (rule4 % int3)) ((((triple1) -> (rule4 % int3)) triple6) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple1) -> (rule4 % int3)) ((((triple1) -> (rule7 % int3)) triple6) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple1) -> (rule4 % int3)) ((((triple6 triple3) -> (rule1 % int3)) triple6) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple1) -> (rule7 % int4)) ((triple5 ((triple3 triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple1) -> (rule7 % int3)) ((((triple1) -> (rule4 % int3)) triple6) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple1) -> (rule7 % int3)) ((((triple1) -> (rule7 % int3)) triple6) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple1) -> (rule7 % int3)) ((((triple6 triple3) -> (rule1 % int3)) triple6) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple5 triple6) -> (rule8 % int4)) ((triple3 ((triple1) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple5 triple6) -> (rule8 % int4)) ((triple3 ((triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple5 ((triple3 triple5) -> (rule6 % int3))) -> (rule8 % int2)) ((triple3 triple5) -> (rule6 % int3))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((triple6 triple3) -> (rule1 % int4)) ((triple5 ((triple3 triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple6 triple3) -> (rule1 % int3)) ((((triple1) -> (rule4 % int3)) triple6) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple6 triple3) -> (rule1 % int3)) ((((triple1) -> (rule7 % int3)) triple6) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple6 triple3) -> (rule1 % int3)) ((((triple6 triple3) -> (rule1 % int3)) triple6) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple6 triple3) -> (rule1 % int4)) triple6) -> (rule8 % int3)) ((triple3 triple5) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple6 triple3) -> (rule1 % int4)) ((triple3 triple5) -> (rule6 % int3))) -> (rule8 % int2)) triple6) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple1) -> (rule4 % int4)) ((((triple1) -> (rule4 % int4)) ((triple3 triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple1) -> (rule4 % int4)) ((((triple1) -> (rule7 % int4)) ((triple3 triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple1) -> (rule4 % int4)) ((((triple6 triple3) -> (rule1 % int4)) ((triple3 triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple1) -> (rule7 % int4)) ((((triple1) -> (rule4 % int4)) ((triple3 triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple1) -> (rule7 % int4)) ((((triple1) -> (rule7 % int4)) ((triple3 triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple1) -> (rule7 % int4)) ((((triple6 triple3) -> (rule1 % int4)) ((triple3 triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple5 ((triple3 triple5) -> (rule6 % int4))) -> (rule8 % int3)) ((triple3 ((triple1) -> (rule4 % int2))) -> (rule6 % int4))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((triple5 ((triple3 triple5) -> (rule6 % int4))) -> (rule8 % int3)) ((triple3 ((triple1) -> (rule7 % int2))) -> (rule6 % int4))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((triple6 triple3) -> (rule1 % int4)) ((((triple1) -> (rule4 % int4)) ((triple3 triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple6 triple3) -> (rule1 % int4)) ((((triple1) -> (rule7 % int4)) ((triple3 triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple6 triple3) -> (rule1 % int4)) ((((triple6 triple3) -> (rule1 % int4)) ((triple3 triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple6 triple3) -> (rule1 % int4)) triple6) -> (rule8 % int3)) ((triple3 ((triple1) -> (rule4 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple6 triple3) -> (rule1 % int4)) triple6) -> (rule8 % int3)) ((triple3 ((triple1) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple6 triple3) -> (rule1 % int4)) ((triple3 triple5) -> (rule6 % int3))) -> (rule8 % int2)) ((triple3 triple5) -> (rule6 % int3))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple6 triple3) -> (rule1 % int4)) ((triple3 triple5) -> (rule6 % int3))) -> (rule8 % int2)) ((triple3 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple6 triple3) -> (rule1 % int4)) ((triple3 triple5) -> (rule6 % int3))) -> (rule8 % int2)) ((triple3 ((triple1) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((triple5 ((triple5 ((triple3 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((triple5 ((triple5 ((triple3 ((triple1) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((triple5 ((((triple1) -> (rule4 % int4)) ((triple3 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((triple5 ((((triple1) -> (rule4 % int4)) ((triple3 ((triple1) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((triple5 ((((triple1) -> (rule7 % int4)) ((triple3 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((triple5 ((((triple1) -> (rule7 % int4)) ((triple3 ((triple1) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((triple5 ((((triple6 triple3) -> (rule1 % int4)) ((triple3 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((triple5 ((((triple6 triple3) -> (rule1 % int4)) ((triple3 ((triple1) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple1) -> (rule4 % int4)) ((triple5 ((triple3 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple1) -> (rule4 % int4)) ((triple5 ((triple3 ((triple1) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple1) -> (rule7 % int4)) ((triple5 ((triple3 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple1) -> (rule7 % int4)) ((triple5 ((triple3 ((triple1) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple6 triple3) -> (rule1 % int4)) ((triple5 ((triple3 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple6 triple3) -> (rule1 % int4)) ((triple5 ((triple3 ((triple1) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple1) -> (rule4 % int4)) ((((triple1) -> (rule4 % int4)) ((triple3 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple1) -> (rule4 % int4)) ((((triple1) -> (rule4 % int4)) ((triple3 ((triple1) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple1) -> (rule4 % int4)) ((((triple1) -> (rule7 % int4)) ((triple3 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple1) -> (rule4 % int4)) ((((triple1) -> (rule7 % int4)) ((triple3 ((triple1) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple1) -> (rule4 % int4)) ((((triple6 triple3) -> (rule1 % int4)) ((triple3 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple1) -> (rule4 % int4)) ((((triple6 triple3) -> (rule1 % int4)) ((triple3 ((triple1) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple1) -> (rule7 % int4)) ((((triple1) -> (rule4 % int4)) ((triple3 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple1) -> (rule7 % int4)) ((((triple1) -> (rule4 % int4)) ((triple3 ((triple1) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple1) -> (rule7 % int4)) ((((triple1) -> (rule7 % int4)) ((triple3 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple1) -> (rule7 % int4)) ((((triple1) -> (rule7 % int4)) ((triple3 ((triple1) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple1) -> (rule7 % int4)) ((((triple6 triple3) -> (rule1 % int4)) ((triple3 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple1) -> (rule7 % int4)) ((((triple6 triple3) -> (rule1 % int4)) ((triple3 ((triple1) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple6 triple3) -> (rule1 % int4)) ((((triple1) -> (rule4 % int4)) ((triple3 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple6 triple3) -> (rule1 % int4)) ((((triple1) -> (rule4 % int4)) ((triple3 ((triple1) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple6 triple3) -> (rule1 % int4)) ((((triple1) -> (rule7 % int4)) ((triple3 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple6 triple3) -> (rule1 % int4)) ((((triple1) -> (rule7 % int4)) ((triple3 ((triple1) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple6 triple3) -> (rule1 % int4)) ((((triple6 triple3) -> (rule1 % int4)) ((triple3 ((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple6 triple3) -> (rule1 % int4)) ((((triple6 triple3) -> (rule1 % int4)) ((triple3 ((triple1) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
((triple1) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple1) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple6 triple3) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple6
((triple3 triple5) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((triple3 ((triple1) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((triple3 ((triple1) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple7
((triple5 triple6) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((triple5 ((triple3 triple5) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple1) -> (rule4 % int2)) triple6) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple1) -> (rule7 % int2)) triple6) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple6 triple3) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple1) -> (rule4 % int3)) ((triple3 triple5) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple1) -> (rule7 % int3)) ((triple3 triple5) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple6 triple3) -> (rule1 % int3)) ((triple3 triple5) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple5 ((triple3 ((triple1) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple5 ((triple3 ((triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple1) -> (rule4 % int3)) ((triple3 ((triple1) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple1) -> (rule4 % int3)) ((triple3 ((triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple1) -> (rule7 % int3)) ((triple3 ((triple1) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple1) -> (rule7 % int3)) ((triple3 ((triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple6 triple3) -> (rule1 % int3)) ((triple3 ((triple1) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple6 triple3) -> (rule1 % int3)) ((triple3 ((triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3