Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is red. Anne is rough. Anne is smart. Bob is nice. Bob is rough. Bob is smart. Erin is furry. Erin is green. Erin is kind. Erin is nice. Erin is red. Erin is smart. If Erin is rough and Erin is furry then Erin is smart. Nice things are rough. All rough things are furry. All kind things are smart. If Anne is rough and Anne is green then Anne is furry. All red, furry things are rough. If something is rough and red then it is green. If something is furry and nice then it is red.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
If Erin is rough and Erin is furry then Erin is smart.
((("Erin" "is" "rough" "+") ("Erin" "is" "furry" "+")) -> ("Erin" "is" "smart" "+"))
Nice things are rough.
((("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
All rough things are furry.
((("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
All kind things are smart.
((("something" "is" "kind" "+")) -> ("something" "is" "smart" "+"))
If Anne is rough and Anne is green then Anne is furry.
((("Anne" "is" "rough" "+") ("Anne" "is" "green" "+")) -> ("Anne" "is" "furry" "+"))
All red, furry things are rough.
((("something" "is" "red" "+") ("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
If something is rough and red then it is green.
((("something" "is" "rough" "+") ("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
If something is furry and nice then it is red.
((("something" "is" "furry" "+") ("something" "is" "nice" "+")) -> ("something" "is" "red" "+"))
Anne is kind.
True
1
proof
[(triple3)]
("Anne" "is" "kind" "+")
triple3
Anne is not smart.
False
1
inv-proof
[(triple7 OR ((triple3) -> rule4))]
("Anne" "is" "smart" "-")
triple7
((triple3) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Erin is rough.
True
2
proof
[(((triple14) -> rule2) OR ((triple15 triple11) -> rule6) OR ((((triple11 triple14) -> rule8) triple11) -> rule6))]
("Erin" "is" "rough" "+")
((triple14) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((triple15 triple11) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((((triple11 triple14) -> (rule8 % int2)) triple11) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Bob is not furry.
False
2
inv-proof
[(((triple9) -> rule3) OR ((((triple8) -> rule2)) -> rule3))]
("Bob" "is" "furry" "-")
((triple9) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((triple8) -> (rule2 % int2))) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is red.
True
4
proof
[(((((triple9) -> rule3) triple8) -> rule8) OR ((((((triple8) -> rule2)) -> rule3) triple8) -> rule8))]
("Bob" "is" "red" "+")
((((triple9) -> (rule3 % int2)) triple8) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((((triple8) -> (rule2 % int3))) -> (rule3 % int2)) triple8) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is not red.
False
4
inv-proof
[(((((triple9) -> rule3) triple8) -> rule8) OR ((((((triple8) -> rule2)) -> rule3) triple8) -> rule8))]
("Bob" "is" "red" "-")
((((triple9) -> (rule3 % int2)) triple8) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((((triple8) -> (rule2 % int3))) -> (rule3 % int2)) triple8) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is green.
True
6
proof
[(((triple9 ((((triple9) -> rule3) triple8) -> rule8)) -> rule7) OR ((((triple8) -> rule2) ((((triple9) -> rule3) triple8) -> rule8)) -> rule7) OR ((triple9 ((((((triple8) -> rule2)) -> rule3) triple8) -> rule8)) -> rule7) OR ((((triple8) -> rule2) ((((((triple8) -> rule2)) -> rule3) triple8) -> rule8)) -> rule7))]
("Bob" "is" "green" "+")
((triple9 ((((triple9) -> (rule3 % int3)) triple8) -> (rule8 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple8) -> (rule2 % int4)) ((((triple9) -> (rule3 % int3)) triple8) -> (rule8 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((triple9 ((((((triple8) -> (rule2 % int4))) -> (rule3 % int3)) triple8) -> (rule8 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple8) -> (rule2 % int4)) ((((((triple8) -> (rule2 % int4))) -> (rule3 % int3)) triple8) -> (rule8 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is not green.
False
6
inv-proof
[(((triple9 ((((triple9) -> rule3) triple8) -> rule8)) -> rule7) OR ((((triple8) -> rule2) ((((triple9) -> rule3) triple8) -> rule8)) -> rule7) OR ((triple9 ((((((triple8) -> rule2)) -> rule3) triple8) -> rule8)) -> rule7) OR ((((triple8) -> rule2) ((((((triple8) -> rule2)) -> rule3) triple8) -> rule8)) -> rule7))]
("Bob" "is" "green" "-")
((triple9 ((((triple9) -> (rule3 % int3)) triple8) -> (rule8 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple8) -> (rule2 % int4)) ((((triple9) -> (rule3 % int3)) triple8) -> (rule8 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((triple9 ((((((triple8) -> (rule2 % int4))) -> (rule3 % int3)) triple8) -> (rule8 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple8) -> (rule2 % int4)) ((((((triple8) -> (rule2 % int4))) -> (rule3 % int3)) triple8) -> (rule8 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
@0: Anne is furry.[(triple1 OR ((triple6) -> rule3) OR ((triple6 triple2) -> rule5) OR ((((triple4) -> rule2)) -> rule3) OR ((triple6 ((triple6 triple5) -> rule7)) -> rule5) OR ((((triple4) -> rule2) triple2) -> rule5) OR ((((triple4) -> rule2) ((triple6 triple5) -> rule7)) -> rule5) OR ((triple6 ((((triple4) -> rule2) triple5) -> rule7)) -> rule5) OR ((((triple4) -> rule2) ((((triple4) -> rule2) triple5) -> rule7)) -> rule5))] Anne is green.[(triple2 OR ((triple6 triple5) -> rule7) OR ((triple6 ((triple1 triple4) -> rule8)) -> rule7) OR ((((triple4) -> rule2) triple5) -> rule7) OR ((((triple5 triple1) -> rule6) triple5) -> rule7) OR ((((triple4) -> rule2) ((triple1 triple4) -> rule8)) -> rule7) OR ((((triple5 triple1) -> rule6) ((triple1 triple4) -> rule8)) -> rule7) OR ((triple6 ((((triple6) -> rule3) triple4) -> rule8)) -> rule7) OR ((((((triple1 triple4) -> rule8) triple1) -> rule6) triple5) -> rule7) OR ((((triple4) -> rule2) ((((triple6) -> rule3) triple4) -> rule8)) -> rule7) OR ((((triple5 triple1) -> rule6) ((((triple6) -> rule3) triple4) -> rule8)) -> rule7) OR ((((((triple1 triple4) -> rule8) triple1) -> rule6) ((triple1 triple4) -> rule8)) -> rule7) OR ((((((triple1 triple4) -> rule8) triple1) -> rule6) ((((triple6) -> rule3) triple4) -> rule8)) -> rule7) OR ((triple6 ((((((triple4) -> rule2)) -> rule3) triple4) -> rule8)) -> rule7) OR ((((triple4) -> rule2) ((((((triple4) -> rule2)) -> rule3) triple4) -> rule8)) -> rule7) OR ((((triple5 triple1) -> rule6) ((((((triple4) -> rule2)) -> rule3) triple4) -> rule8)) -> rule7) OR ((((((triple1 triple4) -> rule8) triple1) -> rule6) ((((((triple4) -> rule2)) -> rule3) triple4) -> rule8)) -> rule7))] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is red.[(triple5 OR ((triple1 triple4) -> rule8) OR ((((triple6) -> rule3) triple4) -> rule8) OR ((((triple6 triple2) -> rule5) triple4) -> rule8) OR ((((((triple4) -> rule2)) -> rule3) triple4) -> rule8) OR ((((((triple4) -> rule2) triple2) -> rule5) triple4) -> rule8))] Anne is rough.[(triple6 OR ((triple4) -> rule2) OR ((triple5 triple1) -> rule6) OR ((((triple1 triple4) -> rule8) triple1) -> rule6))] Anne is smart.[(triple7 OR ((triple3) -> rule4))] Bob is nice.[(triple8)] Bob is rough.[(triple9 OR ((triple8) -> rule2))] Bob is smart.[(triple10)] Erin is furry.[(triple11 OR ((((triple14) -> rule2)) -> rule3))] Erin is green.[(triple12 OR ((((triple14) -> rule2) triple15) -> rule7) OR ((((triple15 triple11) -> rule6) triple15) -> rule7) OR ((((triple14) -> rule2) ((triple11 triple14) -> rule8)) -> rule7) OR ((((triple15 triple11) -> rule6) ((triple11 triple14) -> rule8)) -> rule7) OR ((((((triple11 triple14) -> rule8) triple11) -> rule6) triple15) -> rule7) OR ((((((triple11 triple14) -> rule8) triple11) -> rule6) ((triple11 triple14) -> rule8)) -> rule7) OR ((((triple14) -> rule2) ((((((triple14) -> rule2)) -> rule3) triple14) -> rule8)) -> rule7) OR ((((triple15 triple11) -> rule6) ((((((triple14) -> rule2)) -> rule3) triple14) -> rule8)) -> rule7) OR ((((((triple11 triple14) -> rule8) triple11) -> rule6) ((((((triple14) -> rule2)) -> rule3) triple14) -> rule8)) -> rule7))] Erin is kind.[(triple13)] Erin is nice.[(triple14)] Erin is red.[(triple15 OR ((triple11 triple14) -> rule8) OR ((((((triple14) -> rule2)) -> rule3) triple14) -> rule8))] Erin is smart.[(triple16 OR ((triple13) -> rule4) OR ((((triple14) -> rule2) triple11) -> rule1) OR ((((triple15 triple11) -> rule6) triple11) -> rule1) OR ((((((triple11 triple14) -> rule8) triple11) -> rule6) triple11) -> rule1) OR ((((triple14) -> rule2) ((((triple14) -> rule2)) -> rule3)) -> rule1) OR ((((triple15 triple11) -> rule6) ((((triple14) -> rule2)) -> rule3)) -> rule1) OR ((((((triple11 triple14) -> rule8) triple11) -> rule6) ((((triple14) -> rule2)) -> rule3)) -> rule1))] @1: Bob is furry.[(((triple9) -> rule3) OR ((((triple8) -> rule2)) -> rule3))] Erin is rough.[(((triple14) -> rule2) OR ((triple15 triple11) -> rule6) OR ((((triple11 triple14) -> rule8) triple11) -> rule6))] @2: Bob is red.[(((((triple9) -> rule3) triple8) -> rule8) OR ((((((triple8) -> rule2)) -> rule3) triple8) -> rule8))] @3: Bob is green.[(((triple9 ((((triple9) -> rule3) triple8) -> rule8)) -> rule7) OR ((((triple8) -> rule2) ((((triple9) -> rule3) triple8) -> rule8)) -> rule7) OR ((triple9 ((((((triple8) -> rule2)) -> rule3) triple8) -> rule8)) -> rule7) OR ((((triple8) -> rule2) ((((((triple8) -> rule2)) -> rule3) triple8) -> rule8)) -> rule7))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
((triple6) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((triple6 triple2) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((triple6 ((triple6 triple5) -> (rule7 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple4) -> (rule2 % int2)) triple2) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((triple4) -> (rule2 % int3)) ((triple6 triple5) -> (rule7 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((triple6 ((((triple4) -> (rule2 % int3)) triple5) -> (rule7 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((triple4) -> (rule2 % int3)) ((((triple4) -> (rule2 % int3)) triple5) -> (rule7 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
triple2
((triple6 triple5) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((triple6 ((triple1 triple4) -> (rule8 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((triple4) -> (rule2 % int2)) triple5) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((triple5 triple1) -> (rule6 % int2)) triple5) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((triple4) -> (rule2 % int3)) ((triple1 triple4) -> (rule8 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((triple5 triple1) -> (rule6 % int3)) ((triple1 triple4) -> (rule8 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((triple6 ((((triple6) -> (rule3 % int3)) triple4) -> (rule8 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple1 triple4) -> (rule8 % int3)) triple1) -> (rule6 % int2)) triple5) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((triple4) -> (rule2 % int4)) ((((triple6) -> (rule3 % int3)) triple4) -> (rule8 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple5 triple1) -> (rule6 % int4)) ((((triple6) -> (rule3 % int3)) triple4) -> (rule8 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((triple1 triple4) -> (rule8 % int3)) triple1) -> (rule6 % int2)) ((triple1 triple4) -> (rule8 % int3))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((((triple1 triple4) -> (rule8 % int4)) triple1) -> (rule6 % int3)) ((((triple6) -> (rule3 % int2)) triple4) -> (rule8 % int4))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((triple6 ((((((triple4) -> (rule2 % int4))) -> (rule3 % int3)) triple4) -> (rule8 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple4) -> (rule2 % int4)) ((((((triple4) -> (rule2 % int4))) -> (rule3 % int3)) triple4) -> (rule8 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple5 triple1) -> (rule6 % int4)) ((((((triple4) -> (rule2 % int4))) -> (rule3 % int3)) triple4) -> (rule8 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((triple1 triple4) -> (rule8 % int4)) triple1) -> (rule6 % int3)) ((((((triple4) -> (rule2 % int3))) -> (rule3 % int2)) triple4) -> (rule8 % int4))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is red.
("Anne" "is" "red" "+")
triple5
((triple1 triple4) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((((triple6) -> (rule3 % int2)) triple4) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple6 triple2) -> (rule5 % int2)) triple4) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((((triple4) -> (rule2 % int3))) -> (rule3 % int2)) triple4) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((triple4) -> (rule2 % int3)) triple2) -> (rule5 % int2)) triple4) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
triple6
((triple4) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((triple5 triple1) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple1 triple4) -> (rule8 % int2)) triple1) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
triple7
((triple3) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple8
Bob is rough.
("Bob" "is" "rough" "+")
triple9
((triple8) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
triple10
Erin is furry.
("Erin" "is" "furry" "+")
triple11
((((triple14) -> (rule2 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
triple12
((((triple14) -> (rule2 % int2)) triple15) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((triple15 triple11) -> (rule6 % int2)) triple15) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((triple14) -> (rule2 % int3)) ((triple11 triple14) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((triple15 triple11) -> (rule6 % int3)) ((triple11 triple14) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((((triple11 triple14) -> (rule8 % int3)) triple11) -> (rule6 % int2)) triple15) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple11 triple14) -> (rule8 % int3)) triple11) -> (rule6 % int2)) ((triple11 triple14) -> (rule8 % int3))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple14) -> (rule2 % int4)) ((((((triple14) -> (rule2 % int4))) -> (rule3 % int3)) triple14) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((triple15 triple11) -> (rule6 % int4)) ((((((triple14) -> (rule2 % int4))) -> (rule3 % int3)) triple14) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((((triple11 triple14) -> (rule8 % int4)) triple11) -> (rule6 % int3)) ((((((triple14) -> (rule2 % int3))) -> (rule3 % int2)) triple14) -> (rule8 % int4))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
triple13
Erin is nice.
("Erin" "is" "nice" "+")
triple14
Erin is red.
("Erin" "is" "red" "+")
triple15
((triple11 triple14) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((((((triple14) -> (rule2 % int3))) -> (rule3 % int2)) triple14) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
triple16
((triple13) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((((triple14) -> (rule2 % int2)) triple11) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((triple15 triple11) -> (rule6 % int2)) triple11) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((((triple11 triple14) -> (rule8 % int3)) triple11) -> (rule6 % int2)) triple11) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple14) -> (rule2 % int3)) ((((triple14) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((triple15 triple11) -> (rule6 % int3)) ((((triple14) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((((triple11 triple14) -> (rule8 % int4)) triple11) -> (rule6 % int3)) ((((triple14) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
((triple9) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((triple8) -> (rule2 % int2))) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
((triple14) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((triple15 triple11) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((((triple11 triple14) -> (rule8 % int2)) triple11) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
((((triple9) -> (rule3 % int2)) triple8) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((((triple8) -> (rule2 % int3))) -> (rule3 % int2)) triple8) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
((triple9 ((((triple9) -> (rule3 % int3)) triple8) -> (rule8 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple8) -> (rule2 % int4)) ((((triple9) -> (rule3 % int3)) triple8) -> (rule8 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((triple9 ((((((triple8) -> (rule2 % int4))) -> (rule3 % int3)) triple8) -> (rule8 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple8) -> (rule2 % int4)) ((((((triple8) -> (rule2 % int4))) -> (rule3 % int3)) triple8) -> (rule8 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4