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