Charlie is blue. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is white. Erin is blue. Erin is furry. Erin is quiet. Erin is smart. Erin is white. White people are furry. All smart people are rough. If someone is green and white then they are quiet. If someone is rough then they are quiet. If someone is smart then they are green. If Charlie is white then Charlie is smart. If Charlie is quiet and Charlie is rough then Charlie is green. If Charlie is rough and Charlie is quiet then Charlie is furry.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
White people are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
All smart people are rough.
((("someone" "is" "smart" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and white then they are quiet.
((("someone" "is" "green" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
If someone is rough then they are quiet.
((("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
If someone is smart then they are green.
((("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
If Charlie is white then Charlie is smart.
((("Charlie" "is" "white" "+")) -> ("Charlie" "is" "smart" "+"))
If Charlie is quiet and Charlie is rough then Charlie is green.
((("Charlie" "is" "quiet" "+") ("Charlie" "is" "rough" "+")) -> ("Charlie" "is" "green" "+"))
If Charlie is rough and Charlie is quiet then Charlie is furry.
((("Charlie" "is" "rough" "+") ("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "furry" "+"))
Charlie is furry.
True
1
proof
[(triple2 OR ((triple7) -> rule1) OR ((triple5 triple4) -> rule8) OR ((triple5 ((triple5) -> rule4)) -> rule8) OR ((triple5 ((triple3 triple7) -> rule3)) -> rule8) OR ((((triple6) -> rule2) triple4) -> rule8) OR ((((triple6) -> rule2) ((triple5) -> rule4)) -> rule8) OR ((((triple6) -> rule2) ((triple3 triple7) -> rule3)) -> rule8) OR ((triple5 ((((triple6) -> rule2)) -> rule4)) -> rule8) OR ((triple5 ((((triple6) -> rule5) triple7) -> rule3)) -> rule8) OR ((((((triple7) -> rule6)) -> rule2) triple4) -> rule8) OR ((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule4)) -> rule8) OR ((((triple6) -> rule2) ((((triple6) -> rule5) triple7) -> rule3)) -> rule8) OR ((((((triple7) -> rule6)) -> rule2) ((triple5) -> rule4)) -> rule8) OR ((((((triple7) -> rule6)) -> rule2) ((triple3 triple7) -> rule3)) -> rule8) OR ((((((triple7) -> rule6)) -> rule2) ((((triple6) -> rule2)) -> rule4)) -> rule8) OR ((((((triple7) -> rule6)) -> rule2) ((((triple6) -> rule5) triple7) -> rule3)) -> rule8) OR ((triple5 ((((((triple7) -> rule6)) -> rule2)) -> rule4)) -> rule8) OR ((triple5 ((((((triple7) -> rule6)) -> rule5) triple7) -> rule3)) -> rule8) OR ((((triple6) -> rule2) ((((((triple7) -> rule6)) -> rule2)) -> rule4)) -> rule8) OR ((((triple6) -> rule2) ((((((triple7) -> rule6)) -> rule5) triple7) -> rule3)) -> rule8) OR ((((((triple7) -> rule6)) -> rule2) ((((((triple7) -> rule6)) -> rule2)) -> rule4)) -> rule8) OR ((((((triple7) -> rule6)) -> rule2) ((((((triple7) -> rule6)) -> rule5) triple7) -> rule3)) -> rule8))]
("Charlie" "is" "furry" "+")
triple2
((triple7) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((triple5 triple4) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((triple5 ((triple5) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((triple5 ((triple3 triple7) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple6) -> (rule2 % int2)) triple4) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple6) -> (rule2 % int3)) ((triple5) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple6) -> (rule2 % int3)) ((triple3 triple7) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((triple5 ((((triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((triple5 ((((triple6) -> (rule5 % int3)) triple7) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((((triple7) -> (rule6 % int3))) -> (rule2 % int2)) triple4) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((triple6) -> (rule2 % int3)) ((((triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple6) -> (rule2 % int4)) ((((triple6) -> (rule5 % int3)) triple7) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple7) -> (rule6 % int4))) -> (rule2 % int3)) ((triple5) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple7) -> (rule6 % int4))) -> (rule2 % int3)) ((triple3 triple7) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple7) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple7) -> (rule6 % int5))) -> (rule2 % int4)) ((((triple6) -> (rule5 % int3)) triple7) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((triple5 ((((((triple7) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((triple5 ((((((triple7) -> (rule6 % int4))) -> (rule5 % int3)) triple7) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((triple6) -> (rule2 % int4)) ((((((triple7) -> (rule6 % int3))) -> (rule2 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((triple6) -> (rule2 % int5)) ((((((triple7) -> (rule6 % int4))) -> (rule5 % int3)) triple7) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((triple7) -> (rule6 % int4))) -> (rule2 % int3)) ((((((triple7) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple7) -> (rule6 % int5))) -> (rule2 % int4)) ((((((triple7) -> (rule6 % int5))) -> (rule5 % int3)) triple7) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
Erin is not quiet.
False
1
inv-proof
[(triple10 OR ((((triple11) -> rule2)) -> rule4) OR ((((triple11) -> rule5) triple12) -> rule3))]
("Erin" "is" "quiet" "-")
triple10
((((triple11) -> (rule2 % int2))) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((triple11) -> (rule5 % int2)) triple12) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is green.
True
2
proof
[(((triple11) -> rule5))]
("Erin" "is" "green" "+")
((triple11) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not rough.
False
2
inv-proof
[(((triple11) -> rule2))]
("Erin" "is" "rough" "-")
((triple11) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2 OR ((triple7) -> rule1) OR ((triple5 triple4) -> rule8) OR ((triple5 ((triple5) -> rule4)) -> rule8) OR ((triple5 ((triple3 triple7) -> rule3)) -> rule8) OR ((((triple6) -> rule2) triple4) -> rule8) OR ((((triple6) -> rule2) ((triple5) -> rule4)) -> rule8) OR ((((triple6) -> rule2) ((triple3 triple7) -> rule3)) -> rule8) OR ((triple5 ((((triple6) -> rule2)) -> rule4)) -> rule8) OR ((triple5 ((((triple6) -> rule5) triple7) -> rule3)) -> rule8) OR ((((((triple7) -> rule6)) -> rule2) triple4) -> rule8) OR ((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule4)) -> rule8) OR ((((triple6) -> rule2) ((((triple6) -> rule5) triple7) -> rule3)) -> rule8) OR ((((((triple7) -> rule6)) -> rule2) ((triple5) -> rule4)) -> rule8) OR ((((((triple7) -> rule6)) -> rule2) ((triple3 triple7) -> rule3)) -> rule8) OR ((((((triple7) -> rule6)) -> rule2) ((((triple6) -> rule2)) -> rule4)) -> rule8) OR ((((((triple7) -> rule6)) -> rule2) ((((triple6) -> rule5) triple7) -> rule3)) -> rule8) OR ((triple5 ((((((triple7) -> rule6)) -> rule2)) -> rule4)) -> rule8) OR ((triple5 ((((((triple7) -> rule6)) -> rule5) triple7) -> rule3)) -> rule8) OR ((((triple6) -> rule2) ((((((triple7) -> rule6)) -> rule2)) -> rule4)) -> rule8) OR ((((triple6) -> rule2) ((((((triple7) -> rule6)) -> rule5) triple7) -> rule3)) -> rule8) OR ((((((triple7) -> rule6)) -> rule2) ((((((triple7) -> rule6)) -> rule2)) -> rule4)) -> rule8) OR ((((((triple7) -> rule6)) -> rule2) ((((((triple7) -> rule6)) -> rule5) triple7) -> rule3)) -> rule8))] Charlie is green.[(triple3 OR ((triple6) -> rule5) OR ((triple4 triple5) -> rule7) OR ((((triple7) -> rule6)) -> rule5) OR ((triple4 ((triple6) -> rule2)) -> rule7) OR ((((triple5) -> rule4) triple5) -> rule7) OR ((((triple5) -> rule4) ((triple6) -> rule2)) -> rule7) OR ((triple4 ((((triple7) -> rule6)) -> rule2)) -> rule7) OR ((((((triple6) -> rule2)) -> rule4) triple5) -> rule7) OR ((((triple5) -> rule4) ((((triple7) -> rule6)) -> rule2)) -> rule7) OR ((((((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule7) OR ((((((triple6) -> rule2)) -> rule4) ((((triple7) -> rule6)) -> rule2)) -> rule7) OR ((((((((triple7) -> rule6)) -> rule2)) -> rule4) triple5) -> rule7) OR ((((((((triple7) -> rule6)) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule7) OR ((((((((triple7) -> rule6)) -> rule2)) -> rule4) ((((triple7) -> rule6)) -> rule2)) -> rule7))] Charlie is quiet.[(triple4 OR ((triple5) -> rule4) OR ((triple3 triple7) -> rule3) OR ((((triple6) -> rule2)) -> rule4) OR ((((triple6) -> rule5) triple7) -> rule3) OR ((((((triple7) -> rule6)) -> rule2)) -> rule4) OR ((((((triple7) -> rule6)) -> rule5) triple7) -> rule3))] Charlie is rough.[(triple5 OR ((triple6) -> rule2) OR ((((triple7) -> rule6)) -> rule2))] Charlie is smart.[(triple6 OR ((triple7) -> rule6))] Charlie is white.[(triple7)] Erin is blue.[(triple8)] Erin is furry.[(triple9 OR ((triple12) -> rule1))] Erin is quiet.[(triple10 OR ((((triple11) -> rule2)) -> rule4) OR ((((triple11) -> rule5) triple12) -> rule3))] Erin is smart.[(triple11)] Erin is white.[(triple12)] @1: Erin is green.[(((triple11) -> rule5))] Erin is rough.[(((triple11) -> rule2))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
((triple7) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((triple5 triple4) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((triple5 ((triple5) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((triple5 ((triple3 triple7) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple6) -> (rule2 % int2)) triple4) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple6) -> (rule2 % int3)) ((triple5) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple6) -> (rule2 % int3)) ((triple3 triple7) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((triple5 ((((triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((triple5 ((((triple6) -> (rule5 % int3)) triple7) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((((triple7) -> (rule6 % int3))) -> (rule2 % int2)) triple4) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((triple6) -> (rule2 % int3)) ((((triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple6) -> (rule2 % int4)) ((((triple6) -> (rule5 % int3)) triple7) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple7) -> (rule6 % int4))) -> (rule2 % int3)) ((triple5) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple7) -> (rule6 % int4))) -> (rule2 % int3)) ((triple3 triple7) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple7) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple7) -> (rule6 % int5))) -> (rule2 % int4)) ((((triple6) -> (rule5 % int3)) triple7) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((triple5 ((((((triple7) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((triple5 ((((((triple7) -> (rule6 % int4))) -> (rule5 % int3)) triple7) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((triple6) -> (rule2 % int4)) ((((((triple7) -> (rule6 % int3))) -> (rule2 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((triple6) -> (rule2 % int5)) ((((((triple7) -> (rule6 % int4))) -> (rule5 % int3)) triple7) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((triple7) -> (rule6 % int4))) -> (rule2 % int3)) ((((((triple7) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple7) -> (rule6 % int5))) -> (rule2 % int4)) ((((((triple7) -> (rule6 % int5))) -> (rule5 % int3)) triple7) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
Charlie is green.
("Charlie" "is" "green" "+")
triple3
((triple6) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((triple4 triple5) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((triple4 ((triple6) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple5) -> (rule4 % int2)) triple5) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple5) -> (rule4 % int3)) ((triple6) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((triple4 ((((triple7) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple6) -> (rule2 % int3))) -> (rule4 % int2)) triple5) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple5) -> (rule4 % int4)) ((((triple7) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((triple6) -> (rule2 % int3))) -> (rule4 % int2)) ((triple6) -> (rule2 % int3))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple6) -> (rule2 % int4))) -> (rule4 % int3)) ((((triple7) -> (rule6 % int2))) -> (rule2 % int4))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((((triple7) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple5) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((((triple7) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple6) -> (rule2 % int3))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((((triple7) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((((triple7) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
((triple5) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((triple3 triple7) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((((triple6) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple6) -> (rule5 % int2)) triple7) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((((triple7) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple7) -> (rule6 % int3))) -> (rule5 % int2)) triple7) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
((triple6) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
((triple7) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
triple7
Erin is blue.
("Erin" "is" "blue" "+")
triple8
Erin is furry.
("Erin" "is" "furry" "+")
triple9
((triple12) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple10
((((triple11) -> (rule2 % int2))) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((triple11) -> (rule5 % int2)) triple12) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
triple11
Erin is white.
("Erin" "is" "white" "+")
triple12
Erin is green.
("Erin" "is" "green" "+")
((triple11) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((triple11) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1