Anne is cold. Anne is nice. Anne is smart. Anne is young. Bob is young. Dave is kind. Dave is nice. Dave is young. Erin is nice. Erin is smart. If something is big then it is kind. If something is smart then it is big. If something is smart and kind then it is nice. If something is big then it is cold. Young things are big. All kind things are smart. If something is furry and young then it is smart. Nice things are furry.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is smart.
("Erin" "is" "smart" "+")
If something is big then it is kind.
((("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
If something is smart then it is big.
((("something" "is" "smart" "+")) -> ("something" "is" "big" "+"))
If something is smart and kind then it is nice.
((("something" "is" "smart" "+") ("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
If something is big then it is cold.
((("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
Young things are big.
((("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
All kind things are smart.
((("something" "is" "kind" "+")) -> ("something" "is" "smart" "+"))
If something is furry and young then it is smart.
((("something" "is" "furry" "+") ("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
Nice things are furry.
((("something" "is" "nice" "+")) -> ("something" "is" "furry" "+"))
Anne is nice.
True
1
proof
[(triple2 OR ((triple3 ((((triple3) -> rule2)) -> rule1)) -> rule3) OR ((triple3 ((((triple4) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple4) -> rule5)) -> rule1)) -> rule6) ((((triple3) -> rule2)) -> rule1)) -> rule3) OR ((((((((triple4) -> rule5)) -> rule1)) -> rule6) ((((triple4) -> rule5)) -> rule1)) -> rule3))]
("Anne" "is" "nice" "+")
triple2
((triple3 ((((triple3) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((triple3 ((((triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((((triple4) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((((triple3) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((((triple4) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((((triple4) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Erin is not nice.
False
1
inv-proof
[(triple9 OR ((triple10 ((((triple10) -> rule2)) -> rule1)) -> rule3))]
("Erin" "is" "nice" "-")
triple9
((triple10 ((((triple10) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Anne is furry.
True
2
proof
[(((triple2) -> rule8) OR ((((triple3 ((((triple3) -> rule2)) -> rule1)) -> rule3)) -> rule8) OR ((((triple3 ((((triple4) -> rule5)) -> rule1)) -> rule3)) -> rule8) OR ((((((((((triple4) -> rule5)) -> rule1)) -> rule6) ((((triple3) -> rule2)) -> rule1)) -> rule3)) -> rule8) OR ((((((((((triple4) -> rule5)) -> rule1)) -> rule6) ((((triple4) -> rule5)) -> rule1)) -> rule3)) -> rule8))]
("Anne" "is" "furry" "+")
((triple2) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((((triple3 ((((triple3) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((triple3 ((((triple4) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((((((triple4) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple3) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((((triple4) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple4) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Dave is not big.
False
2
inv-proof
[(((triple8) -> rule5) OR ((((triple6) -> rule6)) -> rule2) OR ((((((triple7) -> rule8) triple8) -> rule7)) -> rule2))]
("Dave" "is" "big" "-")
((triple8) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((((triple6) -> (rule6 % int2))) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((((triple7) -> (rule8 % int3)) triple8) -> (rule7 % int2))) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Erin is kind.
True
3
proof
[(((((triple10) -> rule2)) -> rule1))]
("Erin" "is" "kind" "+")
((((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Anne is not kind.
False
3
inv-proof
[(((((triple3) -> rule2)) -> rule1) OR ((((triple4) -> rule5)) -> rule1) OR ((((((((triple2) -> rule8) triple4) -> rule7)) -> rule2)) -> rule1))]
("Anne" "is" "kind" "-")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((triple4) -> (rule5 % int2))) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((((((triple2) -> (rule8 % int4)) triple4) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Bob is smart.
True
4
proof
[(((((((triple5) -> rule5)) -> rule1)) -> rule6))]
("Bob" "is" "smart" "+")
((((((triple5) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is not smart.
False
4
inv-proof
[(((((((triple5) -> rule5)) -> rule1)) -> rule6))]
("Bob" "is" "smart" "-")
((((((triple5) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is nice.
True
8
proof
[(((((((((triple5) -> rule5)) -> rule1)) -> rule6) ((((triple5) -> rule5)) -> rule1)) -> rule3))]
("Bob" "is" "nice" "+")
((((((((triple5) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((((triple5) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is not nice.
False
8
inv-proof
[(((((((((triple5) -> rule5)) -> rule1)) -> rule6) ((((triple5) -> rule5)) -> rule1)) -> rule3))]
("Bob" "is" "nice" "-")
((((((((triple5) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((((triple5) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is furry.
True
9
proof
[(((((((((((triple5) -> rule5)) -> rule1)) -> rule6) ((((triple5) -> rule5)) -> rule1)) -> rule3)) -> rule8))]
("Bob" "is" "furry" "+")
((((((((((triple5) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple5) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is not furry.
False
9
inv-proof
[(((((((((((triple5) -> rule5)) -> rule1)) -> rule6) ((((triple5) -> rule5)) -> rule1)) -> rule3)) -> rule8))]
("Bob" "is" "furry" "-")
((((((((((triple5) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple5) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
@0: Anne is cold.[(triple1 OR ((((triple3) -> rule2)) -> rule4) OR ((((triple4) -> rule5)) -> rule4) OR ((((((((triple2) -> rule8) triple4) -> rule7)) -> rule2)) -> rule4))] Anne is nice.[(triple2 OR ((triple3 ((((triple3) -> rule2)) -> rule1)) -> rule3) OR ((triple3 ((((triple4) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple4) -> rule5)) -> rule1)) -> rule6) ((((triple3) -> rule2)) -> rule1)) -> rule3) OR ((((((((triple4) -> rule5)) -> rule1)) -> rule6) ((((triple4) -> rule5)) -> rule1)) -> rule3))] Anne is smart.[(triple3 OR ((((triple2) -> rule8) triple4) -> rule7) OR ((((((triple4) -> rule5)) -> rule1)) -> rule6))] Anne is young.[(triple4)] Bob is young.[(triple5)] Dave is kind.[(triple6 OR ((((triple8) -> rule5)) -> rule1) OR ((((((((triple7) -> rule8) triple8) -> rule7)) -> rule2)) -> rule1))] Dave is nice.[(triple7 OR ((((triple6) -> rule6) triple6) -> rule3) OR ((((triple6) -> rule6) ((((triple8) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple8) -> rule5)) -> rule1)) -> rule6) triple6) -> rule3) OR ((((((((triple8) -> rule5)) -> rule1)) -> rule6) ((((triple8) -> rule5)) -> rule1)) -> rule3))] Dave is young.[(triple8)] Erin is nice.[(triple9 OR ((triple10 ((((triple10) -> rule2)) -> rule1)) -> rule3))] Erin is smart.[(triple10)] @1: Anne is big.[(((triple3) -> rule2) OR ((triple4) -> rule5) OR ((((((triple2) -> rule8) triple4) -> rule7)) -> rule2))] Anne is furry.[(((triple2) -> rule8) OR ((((triple3 ((((triple3) -> rule2)) -> rule1)) -> rule3)) -> rule8) OR ((((triple3 ((((triple4) -> rule5)) -> rule1)) -> rule3)) -> rule8) OR ((((((((((triple4) -> rule5)) -> rule1)) -> rule6) ((((triple3) -> rule2)) -> rule1)) -> rule3)) -> rule8) OR ((((((((((triple4) -> rule5)) -> rule1)) -> rule6) ((((triple4) -> rule5)) -> rule1)) -> rule3)) -> rule8))] Bob is big.[(((triple5) -> rule5))] Dave is big.[(((triple8) -> rule5) OR ((((triple6) -> rule6)) -> rule2) OR ((((((triple7) -> rule8) triple8) -> rule7)) -> rule2))] Dave is furry.[(((triple7) -> rule8) OR ((((((triple6) -> rule6) triple6) -> rule3)) -> rule8) OR ((((((triple6) -> rule6) ((((triple8) -> rule5)) -> rule1)) -> rule3)) -> rule8) OR ((((((((((triple8) -> rule5)) -> rule1)) -> rule6) triple6) -> rule3)) -> rule8) OR ((((((((((triple8) -> rule5)) -> rule1)) -> rule6) ((((triple8) -> rule5)) -> rule1)) -> rule3)) -> rule8))] Dave is smart.[(((triple6) -> rule6) OR ((((triple7) -> rule8) triple8) -> rule7) OR ((((((triple8) -> rule5)) -> rule1)) -> rule6))] Erin is big.[(((triple10) -> rule2))] Erin is furry.[(((triple9) -> rule8) OR ((((triple10 ((((triple10) -> rule2)) -> rule1)) -> rule3)) -> rule8))] @2: Anne is kind.[(((((triple3) -> rule2)) -> rule1) OR ((((triple4) -> rule5)) -> rule1) OR ((((((((triple2) -> rule8) triple4) -> rule7)) -> rule2)) -> rule1))] Bob is cold.[(((((triple5) -> rule5)) -> rule4))] Bob is kind.[(((((triple5) -> rule5)) -> rule1))] Dave is cold.[(((((triple8) -> rule5)) -> rule4) OR ((((((triple6) -> rule6)) -> rule2)) -> rule4) OR ((((((((triple7) -> rule8) triple8) -> rule7)) -> rule2)) -> rule4))] Erin is cold.[(((((triple10) -> rule2)) -> rule4))] Erin is kind.[(((((triple10) -> rule2)) -> rule1))] @3: Bob is smart.[(((((((triple5) -> rule5)) -> rule1)) -> rule6))] @4: Bob is nice.[(((((((((triple5) -> rule5)) -> rule1)) -> rule6) ((((triple5) -> rule5)) -> rule1)) -> rule3))] @5: Bob is furry.[(((((((((((triple5) -> rule5)) -> rule1)) -> rule6) ((((triple5) -> rule5)) -> rule1)) -> rule3)) -> rule8))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((((triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((triple4) -> (rule5 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((((((triple2) -> (rule8 % int4)) triple4) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
triple2
((triple3 ((((triple3) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((triple3 ((((triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((((triple4) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((((triple3) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((((triple4) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((((triple4) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
triple3
((((triple2) -> (rule8 % int2)) triple4) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((((triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple6
((((triple8) -> (rule5 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((((((((triple7) -> (rule8 % int4)) triple8) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
triple7
((((triple6) -> (rule6 % int2)) triple6) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple6) -> (rule6 % int4)) ((((triple8) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((((((triple8) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple6) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((((triple8) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((((triple8) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
triple8
Erin is nice.
("Erin" "is" "nice" "+")
triple9
((triple10 ((((triple10) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
triple10
Anne is big.
("Anne" "is" "big" "+")
((triple3) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((triple4) -> (rule5 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((((triple2) -> (rule8 % int3)) triple4) -> (rule7 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
((triple2) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((((triple3 ((((triple3) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((triple3 ((((triple4) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((((((triple4) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple3) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((((triple4) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple4) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Bob is big.
("Bob" "is" "big" "+")
((triple5) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple8) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((((triple6) -> (rule6 % int2))) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((((triple7) -> (rule8 % int3)) triple8) -> (rule7 % int2))) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
((triple7) -> (rule8 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((((((triple6) -> (rule6 % int3)) triple6) -> (rule3 % int2))) -> (rule8 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((triple6) -> (rule6 % int5)) ((((triple8) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((((((((triple8) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) triple6) -> (rule3 % int2))) -> (rule8 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((((((triple8) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple8) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Dave is smart.
("Dave" "is" "smart" "+")
((triple6) -> (rule6 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((triple7) -> (rule8 % int2)) triple8) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((((triple8) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
((triple10) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple9) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple10 ((((triple10) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((triple4) -> (rule5 % int2))) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((((((triple2) -> (rule8 % int4)) triple4) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
((((triple5) -> (rule5 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
((((triple5) -> (rule5 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((((triple8) -> (rule5 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((((((triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((((triple7) -> (rule8 % int4)) triple8) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
((((triple10) -> (rule2 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
((((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
((((((triple5) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
((((((((triple5) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((((triple5) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
((((((((((triple5) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple5) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5