Charlie is furry. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is round. Charlie is smart. Erin is furry. Erin is green. Erin is kind. Erin is quiet. Erin is red. Erin is round. Erin is smart. All quiet, round things are kind. If Charlie is red and Charlie is furry then Charlie is green. All green things are furry. If something is furry then it is kind. All red, kind things are smart. If Charlie is kind and Charlie is furry then Charlie is red. If Charlie is furry and Charlie is green then Charlie is kind. If something is round then it is quiet.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
All quiet, round things are kind.
((("something" "is" "quiet" "+") ("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
If Charlie is red and Charlie is furry then Charlie is green.
((("Charlie" "is" "red" "+") ("Charlie" "is" "furry" "+")) -> ("Charlie" "is" "green" "+"))
All green things are furry.
((("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
If something is furry then it is kind.
((("something" "is" "furry" "+")) -> ("something" "is" "kind" "+"))
All red, kind things are smart.
((("something" "is" "red" "+") ("something" "is" "kind" "+")) -> ("something" "is" "smart" "+"))
If Charlie is kind and Charlie is furry then Charlie is red.
((("Charlie" "is" "kind" "+") ("Charlie" "is" "furry" "+")) -> ("Charlie" "is" "red" "+"))
If Charlie is furry and Charlie is green then Charlie is kind.
((("Charlie" "is" "furry" "+") ("Charlie" "is" "green" "+")) -> ("Charlie" "is" "kind" "+"))
If something is round then it is quiet.
((("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
Erin is smart.
True
1
proof
[(triple14 OR ((triple12 triple10) -> rule5) OR ((triple12 ((triple8) -> rule4)) -> rule5) OR ((triple12 ((triple11 triple13) -> rule1)) -> rule5) OR ((triple12 ((((triple9) -> rule3)) -> rule4)) -> rule5) OR ((triple12 ((((triple13) -> rule8) triple13) -> rule1)) -> rule5))]
("Erin" "is" "smart" "+")
triple14
((triple12 triple10) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((triple12 ((triple8) -> (rule4 % int2))) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((triple12 ((triple11 triple13) -> (rule1 % int2))) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((triple12 ((((triple9) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((triple12 ((((triple13) -> (rule8 % int3)) triple13) -> (rule1 % int2))) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Charlie is not green.
False
1
inv-proof
[(triple2 OR ((triple5 triple1) -> rule2) OR ((((triple3 triple1) -> rule6) triple1) -> rule2) OR ((((((triple1) -> rule4) triple1) -> rule6) triple1) -> rule2) OR ((((((triple4 triple6) -> rule1) triple1) -> rule6) triple1) -> rule2) OR ((((((((triple6) -> rule8) triple6) -> rule1) triple1) -> rule6) triple1) -> rule2))]
("Charlie" "is" "green" "-")
triple2
((triple5 triple1) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((((triple3 triple1) -> (rule6 % int2)) triple1) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((((((triple1) -> (rule4 % int3)) triple1) -> (rule6 % int2)) triple1) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple4 triple6) -> (rule1 % int3)) triple1) -> (rule6 % int2)) triple1) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((((triple6) -> (rule8 % int4)) triple6) -> (rule1 % int3)) triple1) -> (rule6 % int2)) triple1) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
@0: Charlie is furry.[(triple1 OR ((triple2) -> rule3))] Charlie is green.[(triple2 OR ((triple5 triple1) -> rule2) OR ((((triple3 triple1) -> rule6) triple1) -> rule2) OR ((((((triple1) -> rule4) triple1) -> rule6) triple1) -> rule2) OR ((((((triple4 triple6) -> rule1) triple1) -> rule6) triple1) -> rule2) OR ((((((((triple6) -> rule8) triple6) -> rule1) triple1) -> rule6) triple1) -> rule2))] Charlie is kind.[(triple3 OR ((triple1) -> rule4) OR ((triple1 triple2) -> rule7) OR ((triple4 triple6) -> rule1) OR ((((triple2) -> rule3)) -> rule4) OR ((triple1 ((triple5 triple1) -> rule2)) -> rule7) OR ((((triple2) -> rule3) triple2) -> rule7) OR ((((triple6) -> rule8) triple6) -> rule1) OR ((((triple2) -> rule3) ((triple5 triple1) -> rule2)) -> rule7))] Charlie is quiet.[(triple4 OR ((triple6) -> rule8))] Charlie is red.[(triple5 OR ((triple3 triple1) -> rule6) OR ((triple3 ((triple2) -> rule3)) -> rule6) OR ((((triple1) -> rule4) triple1) -> rule6) OR ((((triple1 triple2) -> rule7) triple1) -> rule6) OR ((((triple4 triple6) -> rule1) triple1) -> rule6) OR ((((triple1) -> rule4) ((triple2) -> rule3)) -> rule6) OR ((((triple1 triple2) -> rule7) ((triple2) -> rule3)) -> rule6) OR ((((triple4 triple6) -> rule1) ((triple2) -> rule3)) -> rule6) OR ((((((triple2) -> rule3)) -> rule4) triple1) -> rule6) OR ((((((triple2) -> rule3) triple2) -> rule7) triple1) -> rule6) OR ((((((triple6) -> rule8) triple6) -> rule1) triple1) -> rule6) OR ((((((triple2) -> rule3)) -> rule4) ((triple2) -> rule3)) -> rule6) OR ((((((triple2) -> rule3) triple2) -> rule7) ((triple2) -> rule3)) -> rule6) OR ((((((triple6) -> rule8) triple6) -> rule1) ((triple2) -> rule3)) -> rule6))] Charlie is round.[(triple6)] Charlie is smart.[(triple7 OR ((triple5 triple3) -> rule5) OR ((triple5 ((triple1) -> rule4)) -> rule5) OR ((triple5 ((triple1 triple2) -> rule7)) -> rule5) OR ((triple5 ((triple4 triple6) -> rule1)) -> rule5) OR ((((triple3 triple1) -> rule6) triple3) -> rule5) OR ((((triple3 triple1) -> rule6) ((triple1) -> rule4)) -> rule5) OR ((((triple3 triple1) -> rule6) ((triple1 triple2) -> rule7)) -> rule5) OR ((((triple3 triple1) -> rule6) ((triple4 triple6) -> rule1)) -> rule5) OR ((triple5 ((((triple2) -> rule3)) -> rule4)) -> rule5) OR ((triple5 ((triple1 ((triple5 triple1) -> rule2)) -> rule7)) -> rule5) OR ((triple5 ((((triple2) -> rule3) triple2) -> rule7)) -> rule5) OR ((triple5 ((((triple6) -> rule8) triple6) -> rule1)) -> rule5) OR ((((triple3 ((triple2) -> rule3)) -> rule6) triple3) -> rule5) OR ((((((triple1) -> rule4) triple1) -> rule6) triple3) -> rule5) OR ((((((triple1 triple2) -> rule7) triple1) -> rule6) triple3) -> rule5) OR ((((((triple4 triple6) -> rule1) triple1) -> rule6) triple3) -> rule5) OR ((triple5 ((((triple2) -> rule3) ((triple5 triple1) -> rule2)) -> rule7)) -> rule5) OR ((((triple3 triple1) -> rule6) ((((triple2) -> rule3)) -> rule4)) -> rule5) OR ((((triple3 triple1) -> rule6) ((triple1 ((triple5 triple1) -> rule2)) -> rule7)) -> rule5) OR ((((triple3 triple1) -> rule6) ((((triple2) -> rule3) triple2) -> rule7)) -> rule5) OR ((((triple3 triple1) -> rule6) ((((triple6) -> rule8) triple6) -> rule1)) -> rule5) OR ((((triple3 ((triple2) -> rule3)) -> rule6) ((triple1) -> rule4)) -> rule5) OR ((((triple3 ((triple2) -> rule3)) -> rule6) ((triple1 triple2) -> rule7)) -> rule5) OR ((((triple3 ((triple2) -> rule3)) -> rule6) ((triple4 triple6) -> rule1)) -> rule5) OR ((((((triple1) -> rule4) triple1) -> rule6) ((triple1) -> rule4)) -> rule5) OR ((((((triple1) -> rule4) triple1) -> rule6) ((triple1 triple2) -> rule7)) -> rule5) OR ((((((triple1) -> rule4) triple1) -> rule6) ((triple4 triple6) -> rule1)) -> rule5) OR ((((((triple1) -> rule4) ((triple2) -> rule3)) -> rule6) triple3) -> rule5) OR ((((((triple1 triple2) -> rule7) triple1) -> rule6) ((triple1) -> rule4)) -> rule5) OR ((((((triple1 triple2) -> rule7) triple1) -> rule6) ((triple1 triple2) -> rule7)) -> rule5) OR ((((((triple1 triple2) -> rule7) triple1) -> rule6) ((triple4 triple6) -> rule1)) -> rule5) OR ((((((triple1 triple2) -> rule7) ((triple2) -> rule3)) -> rule6) triple3) -> rule5) OR ((((((triple4 triple6) -> rule1) triple1) -> rule6) ((triple1) -> rule4)) -> rule5) OR ((((((triple4 triple6) -> rule1) triple1) -> rule6) ((triple1 triple2) -> rule7)) -> rule5) OR ((((((triple4 triple6) -> rule1) triple1) -> rule6) ((triple4 triple6) -> rule1)) -> rule5) OR ((((((triple4 triple6) -> rule1) ((triple2) -> rule3)) -> rule6) triple3) -> rule5) OR ((((triple3 triple1) -> rule6) ((((triple2) -> rule3) ((triple5 triple1) -> rule2)) -> rule7)) -> rule5) OR ((((triple3 ((triple2) -> rule3)) -> rule6) ((((triple2) -> rule3)) -> rule4)) -> rule5) OR ((((triple3 ((triple2) -> rule3)) -> rule6) ((triple1 ((triple5 triple1) -> rule2)) -> rule7)) -> rule5) OR ((((triple3 ((triple2) -> rule3)) -> rule6) ((((triple2) -> rule3) triple2) -> rule7)) -> rule5) OR ((((triple3 ((triple2) -> rule3)) -> rule6) ((((triple6) -> rule8) triple6) -> rule1)) -> rule5) OR ((((((triple1) -> rule4) triple1) -> rule6) ((((triple2) -> rule3)) -> rule4)) -> rule5) OR ((((((triple1) -> rule4) triple1) -> rule6) ((triple1 ((triple5 triple1) -> rule2)) -> rule7)) -> rule5) OR ((((((triple1) -> rule4) triple1) -> rule6) ((((triple2) -> rule3) triple2) -> rule7)) -> rule5) OR ((((((triple1) -> rule4) triple1) -> rule6) ((((triple6) -> rule8) triple6) -> rule1)) -> rule5) OR ((((((triple1) -> rule4) ((triple2) -> rule3)) -> rule6) ((triple1) -> rule4)) -> rule5) OR ((((((triple1) -> rule4) ((triple2) -> rule3)) -> rule6) ((triple1 triple2) -> rule7)) -> rule5) OR ((((((triple1) -> rule4) ((triple2) -> rule3)) -> rule6) ((triple4 triple6) -> rule1)) -> rule5) OR ((((((triple1 triple2) -> rule7) triple1) -> rule6) ((((triple2) -> rule3)) -> rule4)) -> rule5) OR ((((((triple1 triple2) -> rule7) triple1) -> rule6) ((triple1 ((triple5 triple1) -> rule2)) -> rule7)) -> rule5) OR ((((((triple1 triple2) -> rule7) triple1) -> rule6) ((((triple2) -> rule3) triple2) -> rule7)) -> rule5) OR ((((((triple1 triple2) -> rule7) triple1) -> rule6) ((((triple6) -> rule8) triple6) -> rule1)) -> rule5) OR ((((((triple1 triple2) -> rule7) ((triple2) -> rule3)) -> rule6) ((triple1) -> rule4)) -> rule5) OR ((((((triple1 triple2) -> rule7) ((triple2) -> rule3)) -> rule6) ((triple1 triple2) -> rule7)) -> rule5) OR ((((((triple1 triple2) -> rule7) ((triple2) -> rule3)) -> rule6) ((triple4 triple6) -> rule1)) -> rule5) OR ((((((triple4 triple6) -> rule1) triple1) -> rule6) ((((triple2) -> rule3)) -> rule4)) -> rule5) OR ((((((triple4 triple6) -> rule1) triple1) -> rule6) ((triple1 ((triple5 triple1) -> rule2)) -> rule7)) -> rule5) OR ((((((triple4 triple6) -> rule1) triple1) -> rule6) ((((triple2) -> rule3) triple2) -> rule7)) -> rule5) OR ((((((triple4 triple6) -> rule1) triple1) -> rule6) ((((triple6) -> rule8) triple6) -> rule1)) -> rule5) OR ((((((triple4 triple6) -> rule1) ((triple2) -> rule3)) -> rule6) ((triple1) -> rule4)) -> rule5) OR ((((((triple4 triple6) -> rule1) ((triple2) -> rule3)) -> rule6) ((triple1 triple2) -> rule7)) -> rule5) OR ((((((triple4 triple6) -> rule1) ((triple2) -> rule3)) -> rule6) ((triple4 triple6) -> rule1)) -> rule5) OR ((((triple3 ((triple2) -> rule3)) -> rule6) ((((triple2) -> rule3) ((triple5 triple1) -> rule2)) -> rule7)) -> rule5) OR ((((((triple1) -> rule4) triple1) -> rule6) ((((triple2) -> rule3) ((triple5 triple1) -> rule2)) -> rule7)) -> rule5) OR ((((((triple1) -> rule4) ((triple2) -> rule3)) -> rule6) ((((triple2) -> rule3)) -> rule4)) -> rule5) OR ((((((triple1) -> rule4) ((triple2) -> rule3)) -> rule6) ((triple1 ((triple5 triple1) -> rule2)) -> rule7)) -> rule5) OR ((((((triple1) -> rule4) ((triple2) -> rule3)) -> rule6) ((((triple2) -> rule3) triple2) -> rule7)) -> rule5) OR ((((((triple1) -> rule4) ((triple2) -> rule3)) -> rule6) ((((triple6) -> rule8) triple6) -> rule1)) -> rule5) OR ((((((triple1 triple2) -> rule7) triple1) -> rule6) ((((triple2) -> rule3) ((triple5 triple1) -> rule2)) -> rule7)) -> rule5) OR ((((((triple1 triple2) -> rule7) ((triple2) -> rule3)) -> rule6) ((((triple2) -> rule3)) -> rule4)) -> rule5) OR ((((((triple1 triple2) -> rule7) ((triple2) -> rule3)) -> rule6) ((triple1 ((triple5 triple1) -> rule2)) -> rule7)) -> rule5) OR ((((((triple1 triple2) -> rule7) ((triple2) -> rule3)) -> rule6) ((((triple2) -> rule3) triple2) -> rule7)) -> rule5) OR ((((((triple1 triple2) -> rule7) ((triple2) -> rule3)) -> rule6) ((((triple6) -> rule8) triple6) -> rule1)) -> rule5) OR ((((((triple4 triple6) -> rule1) triple1) -> rule6) ((((triple2) -> rule3) ((triple5 triple1) -> rule2)) -> rule7)) -> rule5) OR ((((((triple4 triple6) -> rule1) ((triple2) -> rule3)) -> rule6) ((((triple2) -> rule3)) -> rule4)) -> rule5) OR ((((((triple4 triple6) -> rule1) ((triple2) -> rule3)) -> rule6) ((triple1 ((triple5 triple1) -> rule2)) -> rule7)) -> rule5) OR ((((((triple4 triple6) -> rule1) ((triple2) -> rule3)) -> rule6) ((((triple2) -> rule3) triple2) -> rule7)) -> rule5) OR ((((((triple4 triple6) -> rule1) ((triple2) -> rule3)) -> rule6) ((((triple6) -> rule8) triple6) -> rule1)) -> rule5) OR ((((((triple1) -> rule4) ((triple2) -> rule3)) -> rule6) ((((triple2) -> rule3) ((triple5 triple1) -> rule2)) -> rule7)) -> rule5) OR ((((((triple1 triple2) -> rule7) ((triple2) -> rule3)) -> rule6) ((((triple2) -> rule3) ((triple5 triple1) -> rule2)) -> rule7)) -> rule5) OR ((((((triple4 triple6) -> rule1) ((triple2) -> rule3)) -> rule6) ((((triple2) -> rule3) ((triple5 triple1) -> rule2)) -> rule7)) -> rule5) OR ((((((((triple2) -> rule3)) -> rule4) triple1) -> rule6) triple3) -> rule5) OR ((((((((triple2) -> rule3) triple2) -> rule7) triple1) -> rule6) triple3) -> rule5) OR ((((((((triple6) -> rule8) triple6) -> rule1) triple1) -> rule6) triple3) -> rule5) OR ((((((((triple2) -> rule3)) -> rule4) triple1) -> rule6) ((triple1) -> rule4)) -> rule5) OR ((((((((triple2) -> rule3)) -> rule4) triple1) -> rule6) ((triple1 triple2) -> rule7)) -> rule5) OR ((((((((triple2) -> rule3)) -> rule4) triple1) -> rule6) ((triple4 triple6) -> rule1)) -> rule5) OR ((((((((triple2) -> rule3)) -> rule4) ((triple2) -> rule3)) -> rule6) triple3) -> rule5) OR ((((((((triple2) -> rule3) triple2) -> rule7) triple1) -> rule6) ((triple1) -> rule4)) -> rule5) OR ((((((((triple2) -> rule3) triple2) -> rule7) triple1) -> rule6) ((triple1 triple2) -> rule7)) -> rule5) OR ((((((((triple2) -> rule3) triple2) -> rule7) triple1) -> rule6) ((triple4 triple6) -> rule1)) -> rule5) OR ((((((((triple2) -> rule3) triple2) -> rule7) ((triple2) -> rule3)) -> rule6) triple3) -> rule5) OR ((((((((triple6) -> rule8) triple6) -> rule1) triple1) -> rule6) ((triple1) -> rule4)) -> rule5) OR ((((((((triple6) -> rule8) triple6) -> rule1) triple1) -> rule6) ((triple1 triple2) -> rule7)) -> rule5) OR ((((((((triple6) -> rule8) triple6) -> rule1) triple1) -> rule6) ((triple4 triple6) -> rule1)) -> rule5) OR ((((((((triple6) -> rule8) triple6) -> rule1) ((triple2) -> rule3)) -> rule6) triple3) -> rule5) OR ((((((((triple2) -> rule3)) -> rule4) triple1) -> rule6) ((((triple2) -> rule3)) -> rule4)) -> rule5) OR ((((((((triple2) -> rule3)) -> rule4) triple1) -> rule6) ((triple1 ((triple5 triple1) -> rule2)) -> rule7)) -> rule5) OR ((((((((triple2) -> rule3)) -> rule4) triple1) -> rule6) ((((triple2) -> rule3) triple2) -> rule7)) -> rule5) OR ((((((((triple2) -> rule3)) -> rule4) triple1) -> rule6) ((((triple6) -> rule8) triple6) -> rule1)) -> rule5) OR ((((((((triple2) -> rule3)) -> rule4) ((triple2) -> rule3)) -> rule6) ((triple1) -> rule4)) -> rule5) OR ((((((((triple2) -> rule3)) -> rule4) ((triple2) -> rule3)) -> rule6) ((triple1 triple2) -> rule7)) -> rule5) OR ((((((((triple2) -> rule3)) -> rule4) ((triple2) -> rule3)) -> rule6) ((triple4 triple6) -> rule1)) -> rule5) OR ((((((((triple2) -> rule3) triple2) -> rule7) triple1) -> rule6) ((((triple2) -> rule3)) -> rule4)) -> rule5) OR ((((((((triple2) -> rule3) triple2) -> rule7) triple1) -> rule6) ((triple1 ((triple5 triple1) -> rule2)) -> rule7)) -> rule5) OR ((((((((triple2) -> rule3) triple2) -> rule7) triple1) -> rule6) ((((triple2) -> rule3) triple2) -> rule7)) -> rule5) OR ((((((((triple2) -> rule3) triple2) -> rule7) triple1) -> rule6) ((((triple6) -> rule8) triple6) -> rule1)) -> rule5) OR ((((((((triple2) -> rule3) triple2) -> rule7) ((triple2) -> rule3)) -> rule6) ((triple1) -> rule4)) -> rule5) OR ((((((((triple2) -> rule3) triple2) -> rule7) ((triple2) -> rule3)) -> rule6) ((triple1 triple2) -> rule7)) -> rule5) OR ((((((((triple2) -> rule3) triple2) -> rule7) ((triple2) -> rule3)) -> rule6) ((triple4 triple6) -> rule1)) -> rule5) OR ((((((((triple6) -> rule8) triple6) -> rule1) triple1) -> rule6) ((((triple2) -> rule3)) -> rule4)) -> rule5) OR ((((((((triple6) -> rule8) triple6) -> rule1) triple1) -> rule6) ((triple1 ((triple5 triple1) -> rule2)) -> rule7)) -> rule5) OR ((((((((triple6) -> rule8) triple6) -> rule1) triple1) -> rule6) ((((triple2) -> rule3) triple2) -> rule7)) -> rule5) OR ((((((((triple6) -> rule8) triple6) -> rule1) triple1) -> rule6) ((((triple6) -> rule8) triple6) -> rule1)) -> rule5) OR ((((((((triple6) -> rule8) triple6) -> rule1) ((triple2) -> rule3)) -> rule6) ((triple1) -> rule4)) -> rule5) OR ((((((((triple6) -> rule8) triple6) -> rule1) ((triple2) -> rule3)) -> rule6) ((triple1 triple2) -> rule7)) -> rule5) OR ((((((((triple6) -> rule8) triple6) -> rule1) ((triple2) -> rule3)) -> rule6) ((triple4 triple6) -> rule1)) -> rule5) OR ((((((((triple2) -> rule3)) -> rule4) triple1) -> rule6) ((((triple2) -> rule3) ((triple5 triple1) -> rule2)) -> rule7)) -> rule5) OR ((((((((triple2) -> rule3)) -> rule4) ((triple2) -> rule3)) -> rule6) ((((triple2) -> rule3)) -> rule4)) -> rule5) OR ((((((((triple2) -> rule3)) -> rule4) ((triple2) -> rule3)) -> rule6) ((triple1 ((triple5 triple1) -> rule2)) -> rule7)) -> rule5) OR ((((((((triple2) -> rule3)) -> rule4) ((triple2) -> rule3)) -> rule6) ((((triple2) -> rule3) triple2) -> rule7)) -> rule5) OR ((((((((triple2) -> rule3)) -> rule4) ((triple2) -> rule3)) -> rule6) ((((triple6) -> rule8) triple6) -> rule1)) -> rule5) OR ((((((((triple2) -> rule3) triple2) -> rule7) triple1) -> rule6) ((((triple2) -> rule3) ((triple5 triple1) -> rule2)) -> rule7)) -> rule5) OR ((((((((triple2) -> rule3) triple2) -> rule7) ((triple2) -> rule3)) -> rule6) ((((triple2) -> rule3)) -> rule4)) -> rule5) OR ((((((((triple2) -> rule3) triple2) -> rule7) ((triple2) -> rule3)) -> rule6) ((triple1 ((triple5 triple1) -> rule2)) -> rule7)) -> rule5) OR ((((((((triple2) -> rule3) triple2) -> rule7) ((triple2) -> rule3)) -> rule6) ((((triple2) -> rule3) triple2) -> rule7)) -> rule5) OR ((((((((triple2) -> rule3) triple2) -> rule7) ((triple2) -> rule3)) -> rule6) ((((triple6) -> rule8) triple6) -> rule1)) -> rule5) OR ((((((((triple6) -> rule8) triple6) -> rule1) triple1) -> rule6) ((((triple2) -> rule3) ((triple5 triple1) -> rule2)) -> rule7)) -> rule5) OR ((((((((triple6) -> rule8) triple6) -> rule1) ((triple2) -> rule3)) -> rule6) ((((triple2) -> rule3)) -> rule4)) -> rule5) OR ((((((((triple6) -> rule8) triple6) -> rule1) ((triple2) -> rule3)) -> rule6) ((triple1 ((triple5 triple1) -> rule2)) -> rule7)) -> rule5) OR ((((((((triple6) -> rule8) triple6) -> rule1) ((triple2) -> rule3)) -> rule6) ((((triple2) -> rule3) triple2) -> rule7)) -> rule5) OR ((((((((triple6) -> rule8) triple6) -> rule1) ((triple2) -> rule3)) -> rule6) ((((triple6) -> rule8) triple6) -> rule1)) -> rule5) OR ((((((((triple2) -> rule3)) -> rule4) ((triple2) -> rule3)) -> rule6) ((((triple2) -> rule3) ((triple5 triple1) -> rule2)) -> rule7)) -> rule5) OR ((((((((triple2) -> rule3) triple2) -> rule7) ((triple2) -> rule3)) -> rule6) ((((triple2) -> rule3) ((triple5 triple1) -> rule2)) -> rule7)) -> rule5) OR ((((((((triple6) -> rule8) triple6) -> rule1) ((triple2) -> rule3)) -> rule6) ((((triple2) -> rule3) ((triple5 triple1) -> rule2)) -> rule7)) -> rule5))] Erin is furry.[(triple8 OR ((triple9) -> rule3))] Erin is green.[(triple9)] Erin is kind.[(triple10 OR ((triple8) -> rule4) OR ((triple11 triple13) -> rule1) OR ((((triple9) -> rule3)) -> rule4) OR ((((triple13) -> rule8) triple13) -> rule1))] Erin is quiet.[(triple11 OR ((triple13) -> rule8))] Erin is red.[(triple12)] Erin is round.[(triple13)] Erin is smart.[(triple14 OR ((triple12 triple10) -> rule5) OR ((triple12 ((triple8) -> rule4)) -> rule5) OR ((triple12 ((triple11 triple13) -> rule1)) -> rule5) OR ((triple12 ((((triple9) -> rule3)) -> rule4)) -> rule5) OR ((triple12 ((((triple13) -> rule8) triple13) -> rule1)) -> rule5))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
((triple2) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
((triple5 triple1) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((((triple3 triple1) -> (rule6 % int2)) triple1) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((((((triple1) -> (rule4 % int3)) triple1) -> (rule6 % int2)) triple1) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple4 triple6) -> (rule1 % int3)) triple1) -> (rule6 % int2)) triple1) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((((triple6) -> (rule8 % int4)) triple6) -> (rule1 % int3)) triple1) -> (rule6 % int2)) triple1) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
((triple1) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple1 triple2) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple4 triple6) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((((triple2) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((triple1 ((triple5 triple1) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((triple2) -> (rule3 % int2)) triple2) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple6) -> (rule8 % int2)) triple6) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple2) -> (rule3 % int3)) ((triple5 triple1) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
((triple6) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
triple5
((triple3 triple1) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((triple3 ((triple2) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple1) -> (rule4 % int2)) triple1) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple1 triple2) -> (rule7 % int2)) triple1) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple4 triple6) -> (rule1 % int2)) triple1) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple1) -> (rule4 % int3)) ((triple2) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple1 triple2) -> (rule7 % int3)) ((triple2) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple4 triple6) -> (rule1 % int3)) ((triple2) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple2) -> (rule3 % int3))) -> (rule4 % int2)) triple1) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((((triple2) -> (rule3 % int3)) triple2) -> (rule7 % int2)) triple1) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((((triple6) -> (rule8 % int3)) triple6) -> (rule1 % int2)) triple1) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple2) -> (rule3 % int3))) -> (rule4 % int2)) ((triple2) -> (rule3 % int3))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((((triple2) -> (rule3 % int3)) triple2) -> (rule7 % int2)) ((triple2) -> (rule3 % int3))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((((triple6) -> (rule8 % int4)) triple6) -> (rule1 % int3)) ((triple2) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Charlie is smart.
("Charlie" "is" "smart" "+")
triple7
((triple5 triple3) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((triple5 ((triple1) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((triple5 ((triple1 triple2) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((triple5 ((triple4 triple6) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple3 triple1) -> (rule6 % int2)) triple3) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((((triple3 triple1) -> (rule6 % int3)) ((triple1) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple3 triple1) -> (rule6 % int3)) ((triple1 triple2) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple3 triple1) -> (rule6 % int3)) ((triple4 triple6) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((triple5 ((((triple2) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((triple5 ((triple1 ((triple5 triple1) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((triple5 ((((triple2) -> (rule3 % int3)) triple2) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((triple5 ((((triple6) -> (rule8 % int3)) triple6) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((triple3 ((triple2) -> (rule3 % int3))) -> (rule6 % int2)) triple3) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((((triple1) -> (rule4 % int3)) triple1) -> (rule6 % int2)) triple3) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple1 triple2) -> (rule7 % int3)) triple1) -> (rule6 % int2)) triple3) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple4 triple6) -> (rule1 % int3)) triple1) -> (rule6 % int2)) triple3) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple5 ((((triple2) -> (rule3 % int4)) ((triple5 triple1) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((triple3 triple1) -> (rule6 % int4)) ((((triple2) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((triple3 triple1) -> (rule6 % int4)) ((triple1 ((triple5 triple1) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((triple3 triple1) -> (rule6 % int4)) ((((triple2) -> (rule3 % int3)) triple2) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((triple3 triple1) -> (rule6 % int4)) ((((triple6) -> (rule8 % int3)) triple6) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((triple3 ((triple2) -> (rule3 % int4))) -> (rule6 % int3)) ((triple1) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((triple3 ((triple2) -> (rule3 % int4))) -> (rule6 % int3)) ((triple1 triple2) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((triple3 ((triple2) -> (rule3 % int4))) -> (rule6 % int3)) ((triple4 triple6) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((triple1) -> (rule4 % int3)) triple1) -> (rule6 % int2)) ((triple1) -> (rule4 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple1) -> (rule4 % int3)) triple1) -> (rule6 % int2)) ((triple1 triple2) -> (rule7 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple1) -> (rule4 % int3)) triple1) -> (rule6 % int2)) ((triple4 triple6) -> (rule1 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple1) -> (rule4 % int4)) ((triple2) -> (rule3 % int3))) -> (rule6 % int2)) triple3) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple1 triple2) -> (rule7 % int3)) triple1) -> (rule6 % int2)) ((triple1) -> (rule4 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple1 triple2) -> (rule7 % int3)) triple1) -> (rule6 % int2)) ((triple1 triple2) -> (rule7 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple1 triple2) -> (rule7 % int3)) triple1) -> (rule6 % int2)) ((triple4 triple6) -> (rule1 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple1 triple2) -> (rule7 % int4)) ((triple2) -> (rule3 % int3))) -> (rule6 % int2)) triple3) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple4 triple6) -> (rule1 % int3)) triple1) -> (rule6 % int2)) ((triple1) -> (rule4 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple4 triple6) -> (rule1 % int3)) triple1) -> (rule6 % int2)) ((triple1 triple2) -> (rule7 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple4 triple6) -> (rule1 % int3)) triple1) -> (rule6 % int2)) ((triple4 triple6) -> (rule1 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple4 triple6) -> (rule1 % int4)) ((triple2) -> (rule3 % int3))) -> (rule6 % int2)) triple3) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple3 triple1) -> (rule6 % int5)) ((((triple2) -> (rule3 % int4)) ((triple5 triple1) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
((((triple3 ((triple2) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((triple3 ((triple2) -> (rule3 % int5))) -> (rule6 % int4)) ((triple1 ((triple5 triple1) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((triple3 ((triple2) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule3 % int4)) triple2) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((triple3 ((triple2) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple6) -> (rule8 % int3)) triple6) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((triple1) -> (rule4 % int4)) triple1) -> (rule6 % int3)) ((((triple2) -> (rule3 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple1) -> (rule4 % int4)) triple1) -> (rule6 % int3)) ((triple1 ((triple5 triple1) -> (rule2 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple1) -> (rule4 % int4)) triple1) -> (rule6 % int3)) ((((triple2) -> (rule3 % int2)) triple2) -> (rule7 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple1) -> (rule4 % int4)) triple1) -> (rule6 % int3)) ((((triple6) -> (rule8 % int2)) triple6) -> (rule1 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple1) -> (rule4 % int4)) ((triple2) -> (rule3 % int3))) -> (rule6 % int2)) ((triple1) -> (rule4 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple1) -> (rule4 % int4)) ((triple2) -> (rule3 % int3))) -> (rule6 % int2)) ((triple1 triple2) -> (rule7 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple1) -> (rule4 % int4)) ((triple2) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 triple6) -> (rule1 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple1 triple2) -> (rule7 % int4)) triple1) -> (rule6 % int3)) ((((triple2) -> (rule3 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple1 triple2) -> (rule7 % int4)) triple1) -> (rule6 % int3)) ((triple1 ((triple5 triple1) -> (rule2 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple1 triple2) -> (rule7 % int4)) triple1) -> (rule6 % int3)) ((((triple2) -> (rule3 % int2)) triple2) -> (rule7 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple1 triple2) -> (rule7 % int4)) triple1) -> (rule6 % int3)) ((((triple6) -> (rule8 % int2)) triple6) -> (rule1 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple1 triple2) -> (rule7 % int4)) ((triple2) -> (rule3 % int3))) -> (rule6 % int2)) ((triple1) -> (rule4 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple1 triple2) -> (rule7 % int4)) ((triple2) -> (rule3 % int3))) -> (rule6 % int2)) ((triple1 triple2) -> (rule7 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple1 triple2) -> (rule7 % int4)) ((triple2) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 triple6) -> (rule1 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple4 triple6) -> (rule1 % int4)) triple1) -> (rule6 % int3)) ((((triple2) -> (rule3 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple4 triple6) -> (rule1 % int4)) triple1) -> (rule6 % int3)) ((triple1 ((triple5 triple1) -> (rule2 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple4 triple6) -> (rule1 % int4)) triple1) -> (rule6 % int3)) ((((triple2) -> (rule3 % int2)) triple2) -> (rule7 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple4 triple6) -> (rule1 % int4)) triple1) -> (rule6 % int3)) ((((triple6) -> (rule8 % int2)) triple6) -> (rule1 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple4 triple6) -> (rule1 % int4)) ((triple2) -> (rule3 % int3))) -> (rule6 % int2)) ((triple1) -> (rule4 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple4 triple6) -> (rule1 % int4)) ((triple2) -> (rule3 % int3))) -> (rule6 % int2)) ((triple1 triple2) -> (rule7 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple4 triple6) -> (rule1 % int4)) ((triple2) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 triple6) -> (rule1 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple3 ((triple2) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple2) -> (rule3 % int5)) ((triple5 triple1) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((triple1) -> (rule4 % int5)) triple1) -> (rule6 % int4)) ((((triple2) -> (rule3 % int3)) ((triple5 triple1) -> (rule2 % int2))) -> (rule7 % int5))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple1) -> (rule4 % int4)) ((triple2) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple2) -> (rule3 % int3))) -> (rule4 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple1) -> (rule4 % int5)) ((triple2) -> (rule3 % int4))) -> (rule6 % int3)) ((triple1 ((triple5 triple1) -> (rule2 % int2))) -> (rule7 % int5))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple1) -> (rule4 % int4)) ((triple2) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple2) -> (rule3 % int3)) triple2) -> (rule7 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple1) -> (rule4 % int5)) ((triple2) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple6) -> (rule8 % int2)) triple6) -> (rule1 % int5))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple1 triple2) -> (rule7 % int5)) triple1) -> (rule6 % int4)) ((((triple2) -> (rule3 % int3)) ((triple5 triple1) -> (rule2 % int2))) -> (rule7 % int5))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple1 triple2) -> (rule7 % int4)) ((triple2) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple2) -> (rule3 % int3))) -> (rule4 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple1 triple2) -> (rule7 % int5)) ((triple2) -> (rule3 % int4))) -> (rule6 % int3)) ((triple1 ((triple5 triple1) -> (rule2 % int2))) -> (rule7 % int5))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple1 triple2) -> (rule7 % int4)) ((triple2) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple2) -> (rule3 % int3)) triple2) -> (rule7 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple1 triple2) -> (rule7 % int5)) ((triple2) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple6) -> (rule8 % int2)) triple6) -> (rule1 % int5))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple4 triple6) -> (rule1 % int5)) triple1) -> (rule6 % int4)) ((((triple2) -> (rule3 % int3)) ((triple5 triple1) -> (rule2 % int2))) -> (rule7 % int5))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple4 triple6) -> (rule1 % int4)) ((triple2) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple2) -> (rule3 % int3))) -> (rule4 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple4 triple6) -> (rule1 % int5)) ((triple2) -> (rule3 % int4))) -> (rule6 % int3)) ((triple1 ((triple5 triple1) -> (rule2 % int2))) -> (rule7 % int5))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple4 triple6) -> (rule1 % int4)) ((triple2) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple2) -> (rule3 % int3)) triple2) -> (rule7 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple4 triple6) -> (rule1 % int5)) ((triple2) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple6) -> (rule8 % int2)) triple6) -> (rule1 % int5))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple1) -> (rule4 % int5)) ((triple2) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule3 % int4)) ((triple5 triple1) -> (rule2 % int2))) -> (rule7 % int5))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple1 triple2) -> (rule7 % int5)) ((triple2) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule3 % int4)) ((triple5 triple1) -> (rule2 % int2))) -> (rule7 % int5))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple4 triple6) -> (rule1 % int5)) ((triple2) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule3 % int4)) ((triple5 triple1) -> (rule2 % int2))) -> (rule7 % int5))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple2) -> (rule3 % int4))) -> (rule4 % int3)) triple1) -> (rule6 % int2)) triple3) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple2) -> (rule3 % int4)) triple2) -> (rule7 % int3)) triple1) -> (rule6 % int2)) triple3) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple6) -> (rule8 % int4)) triple6) -> (rule1 % int3)) triple1) -> (rule6 % int2)) triple3) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((((triple2) -> (rule3 % int4))) -> (rule4 % int3)) triple1) -> (rule6 % int2)) ((triple1) -> (rule4 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple2) -> (rule3 % int4))) -> (rule4 % int3)) triple1) -> (rule6 % int2)) ((triple1 triple2) -> (rule7 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple2) -> (rule3 % int4))) -> (rule4 % int3)) triple1) -> (rule6 % int2)) ((triple4 triple6) -> (rule1 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple2) -> (rule3 % int4))) -> (rule4 % int3)) ((triple2) -> (rule3 % int4))) -> (rule6 % int2)) triple3) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple2) -> (rule3 % int4)) triple2) -> (rule7 % int3)) triple1) -> (rule6 % int2)) ((triple1) -> (rule4 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple2) -> (rule3 % int4)) triple2) -> (rule7 % int3)) triple1) -> (rule6 % int2)) ((triple1 triple2) -> (rule7 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple2) -> (rule3 % int4)) triple2) -> (rule7 % int3)) triple1) -> (rule6 % int2)) ((triple4 triple6) -> (rule1 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple2) -> (rule3 % int4)) triple2) -> (rule7 % int3)) ((triple2) -> (rule3 % int4))) -> (rule6 % int2)) triple3) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple6) -> (rule8 % int4)) triple6) -> (rule1 % int3)) triple1) -> (rule6 % int2)) ((triple1) -> (rule4 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((((triple6) -> (rule8 % int4)) triple6) -> (rule1 % int3)) triple1) -> (rule6 % int2)) ((triple1 triple2) -> (rule7 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((((triple6) -> (rule8 % int4)) triple6) -> (rule1 % int3)) triple1) -> (rule6 % int2)) ((triple4 triple6) -> (rule1 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((((triple6) -> (rule8 % int5)) triple6) -> (rule1 % int4)) ((triple2) -> (rule3 % int3))) -> (rule6 % int2)) triple3) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((((((triple2) -> (rule3 % int4))) -> (rule4 % int3)) triple1) -> (rule6 % int2)) ((((triple2) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple2) -> (rule3 % int5))) -> (rule4 % int4)) triple1) -> (rule6 % int3)) ((triple1 ((triple5 triple1) -> (rule2 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple2) -> (rule3 % int4))) -> (rule4 % int3)) triple1) -> (rule6 % int2)) ((((triple2) -> (rule3 % int4)) triple2) -> (rule7 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple2) -> (rule3 % int5))) -> (rule4 % int4)) triple1) -> (rule6 % int3)) ((((triple6) -> (rule8 % int2)) triple6) -> (rule1 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple2) -> (rule3 % int4))) -> (rule4 % int3)) ((triple2) -> (rule3 % int4))) -> (rule6 % int2)) ((triple1) -> (rule4 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple2) -> (rule3 % int4))) -> (rule4 % int3)) ((triple2) -> (rule3 % int4))) -> (rule6 % int2)) ((triple1 triple2) -> (rule7 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple2) -> (rule3 % int4))) -> (rule4 % int3)) ((triple2) -> (rule3 % int4))) -> (rule6 % int2)) ((triple4 triple6) -> (rule1 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple2) -> (rule3 % int4)) triple2) -> (rule7 % int3)) triple1) -> (rule6 % int2)) ((((triple2) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple2) -> (rule3 % int5)) triple2) -> (rule7 % int4)) triple1) -> (rule6 % int3)) ((triple1 ((triple5 triple1) -> (rule2 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple2) -> (rule3 % int4)) triple2) -> (rule7 % int3)) triple1) -> (rule6 % int2)) ((((triple2) -> (rule3 % int4)) triple2) -> (rule7 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple2) -> (rule3 % int5)) triple2) -> (rule7 % int4)) triple1) -> (rule6 % int3)) ((((triple6) -> (rule8 % int2)) triple6) -> (rule1 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple2) -> (rule3 % int4)) triple2) -> (rule7 % int3)) ((triple2) -> (rule3 % int4))) -> (rule6 % int2)) ((triple1) -> (rule4 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple2) -> (rule3 % int4)) triple2) -> (rule7 % int3)) ((triple2) -> (rule3 % int4))) -> (rule6 % int2)) ((triple1 triple2) -> (rule7 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple2) -> (rule3 % int4)) triple2) -> (rule7 % int3)) ((triple2) -> (rule3 % int4))) -> (rule6 % int2)) ((triple4 triple6) -> (rule1 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple6) -> (rule8 % int5)) triple6) -> (rule1 % int4)) triple1) -> (rule6 % int3)) ((((triple2) -> (rule3 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((((((triple6) -> (rule8 % int5)) triple6) -> (rule1 % int4)) triple1) -> (rule6 % int3)) ((triple1 ((triple5 triple1) -> (rule2 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((((((triple6) -> (rule8 % int5)) triple6) -> (rule1 % int4)) triple1) -> (rule6 % int3)) ((((triple2) -> (rule3 % int2)) triple2) -> (rule7 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((((((triple6) -> (rule8 % int4)) triple6) -> (rule1 % int3)) triple1) -> (rule6 % int2)) ((((triple6) -> (rule8 % int4)) triple6) -> (rule1 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((((triple6) -> (rule8 % int5)) triple6) -> (rule1 % int4)) ((triple2) -> (rule3 % int3))) -> (rule6 % int2)) ((triple1) -> (rule4 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((((((triple6) -> (rule8 % int5)) triple6) -> (rule1 % int4)) ((triple2) -> (rule3 % int3))) -> (rule6 % int2)) ((triple1 triple2) -> (rule7 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((((((triple6) -> (rule8 % int5)) triple6) -> (rule1 % int4)) ((triple2) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 triple6) -> (rule1 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((((((triple2) -> (rule3 % int5))) -> (rule4 % int4)) triple1) -> (rule6 % int3)) ((((triple2) -> (rule3 % int5)) ((triple5 triple1) -> (rule2 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple2) -> (rule3 % int4))) -> (rule4 % int3)) ((triple2) -> (rule3 % int4))) -> (rule6 % int2)) ((((triple2) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple2) -> (rule3 % int5))) -> (rule4 % int4)) ((triple2) -> (rule3 % int5))) -> (rule6 % int3)) ((triple1 ((triple5 triple1) -> (rule2 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple2) -> (rule3 % int4))) -> (rule4 % int3)) ((triple2) -> (rule3 % int4))) -> (rule6 % int2)) ((((triple2) -> (rule3 % int4)) triple2) -> (rule7 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple2) -> (rule3 % int5))) -> (rule4 % int4)) ((triple2) -> (rule3 % int5))) -> (rule6 % int3)) ((((triple6) -> (rule8 % int2)) triple6) -> (rule1 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple2) -> (rule3 % int5)) triple2) -> (rule7 % int4)) triple1) -> (rule6 % int3)) ((((triple2) -> (rule3 % int5)) ((triple5 triple1) -> (rule2 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple2) -> (rule3 % int4)) triple2) -> (rule7 % int3)) ((triple2) -> (rule3 % int4))) -> (rule6 % int2)) ((((triple2) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple2) -> (rule3 % int5)) triple2) -> (rule7 % int4)) ((triple2) -> (rule3 % int5))) -> (rule6 % int3)) ((triple1 ((triple5 triple1) -> (rule2 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple2) -> (rule3 % int4)) triple2) -> (rule7 % int3)) ((triple2) -> (rule3 % int4))) -> (rule6 % int2)) ((((triple2) -> (rule3 % int4)) triple2) -> (rule7 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple2) -> (rule3 % int5)) triple2) -> (rule7 % int4)) ((triple2) -> (rule3 % int5))) -> (rule6 % int3)) ((((triple6) -> (rule8 % int2)) triple6) -> (rule1 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple6) -> (rule8 % int6)) triple6) -> (rule1 % int5)) triple1) -> (rule6 % int4)) ((((triple2) -> (rule3 % int3)) ((triple5 triple1) -> (rule2 % int2))) -> (rule7 % int5))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int6
((((((((triple6) -> (rule8 % int5)) triple6) -> (rule1 % int4)) ((triple2) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple2) -> (rule3 % int3))) -> (rule4 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((((((triple6) -> (rule8 % int6)) triple6) -> (rule1 % int5)) ((triple2) -> (rule3 % int4))) -> (rule6 % int3)) ((triple1 ((triple5 triple1) -> (rule2 % int2))) -> (rule7 % int5))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int6
((((((((triple6) -> (rule8 % int5)) triple6) -> (rule1 % int4)) ((triple2) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple2) -> (rule3 % int3)) triple2) -> (rule7 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((((((triple6) -> (rule8 % int5)) triple6) -> (rule1 % int4)) ((triple2) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple6) -> (rule8 % int5)) triple6) -> (rule1 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((((((triple2) -> (rule3 % int5))) -> (rule4 % int4)) ((triple2) -> (rule3 % int5))) -> (rule6 % int3)) ((((triple2) -> (rule3 % int5)) ((triple5 triple1) -> (rule2 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple2) -> (rule3 % int5)) triple2) -> (rule7 % int4)) ((triple2) -> (rule3 % int5))) -> (rule6 % int3)) ((((triple2) -> (rule3 % int5)) ((triple5 triple1) -> (rule2 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple6) -> (rule8 % int6)) triple6) -> (rule1 % int5)) ((triple2) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule3 % int4)) ((triple5 triple1) -> (rule2 % int2))) -> (rule7 % int5))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int6
Erin is furry.
("Erin" "is" "furry" "+")
triple8
((triple9) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple9
Erin is kind.
("Erin" "is" "kind" "+")
triple10
((triple8) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((triple11 triple13) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((((triple9) -> (rule3 % int2))) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple13) -> (rule8 % int2)) triple13) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple11
((triple13) -> (rule8 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
triple12
Erin is round.
("Erin" "is" "round" "+")
triple13
Erin is smart.
("Erin" "is" "smart" "+")
triple14
((triple12 triple10) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((triple12 ((triple8) -> (rule4 % int2))) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((triple12 ((triple11 triple13) -> (rule1 % int2))) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((triple12 ((((triple9) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((triple12 ((((triple13) -> (rule8 % int3)) triple13) -> (rule1 % int2))) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3