Anne is cold. Anne is quiet. Bob is cold. Bob is quiet. Erin is big. Erin is cold. Erin is furry. Erin is nice. Erin is red. Fiona is cold. If someone is furry and big then they are green. If someone is cold then they are big. If someone is green and big then they are nice. Green people are quiet. All big, cold people are nice. If Anne is red then Anne is cold. Quiet, big people are red. All red, cold people are furry. If someone is nice and cold then they are red.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
If someone is furry and big then they are green.
((("someone" "is" "furry" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is cold then they are big.
((("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is green and big then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Green people are quiet.
((("someone" "is" "green" "+")) -> ("someone" "is" "quiet" "+"))
All big, cold people are nice.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If Anne is red then Anne is cold.
((("Anne" "is" "red" "+")) -> ("Anne" "is" "cold" "+"))
Quiet, big people are red.
((("someone" "is" "quiet" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
All red, cold people are furry.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
If someone is nice and cold then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Anne is cold.
True
1
proof
[(triple1)]
("Anne" "is" "cold" "+")
triple1
Bob is not quiet.
False
1
inv-proof
[(triple4 OR ((((((((((((triple3) -> rule2) triple3) -> rule5) triple3) -> rule9) triple3) -> rule8) ((triple3) -> rule2)) -> rule1)) -> rule4))]
("Bob" "is" "quiet" "-")
triple4
((((((((((((triple3) -> (rule2 % int6)) triple3) -> (rule5 % int5)) triple3) -> (rule9 % int4)) triple3) -> (rule8 % int3)) ((triple3) -> (rule2 % int6))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is big.
("Bob" "is" "big" "+")
int6
Bob is big.
True
2
proof
[(((triple3) -> rule2))]
("Bob" "is" "big" "+")
((triple3) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is not big.
False
2
inv-proof
[(((triple3) -> rule2))]
("Bob" "is" "big" "-")
((triple3) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
True
4
proof
[(((((triple3) -> rule2) triple3) -> rule5) OR ((((((((triple4 ((triple3) -> rule2)) -> rule7) triple3) -> rule8) ((triple3) -> rule2)) -> rule1) ((triple3) -> rule2)) -> rule3))]
("Bob" "is" "nice" "+")
((((triple3) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((((((triple4 ((triple3) -> (rule2 % int5))) -> (rule7 % int4)) triple3) -> (rule8 % int3)) ((triple3) -> (rule2 % int5))) -> (rule1 % int2)) ((triple3) -> (rule2 % int5))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is not red.
False
4
inv-proof
[(((triple4 ((triple3) -> rule2)) -> rule7) OR ((((((triple3) -> rule2) triple3) -> rule5) triple3) -> rule9))]
("Bob" "is" "red" "-")
((triple4 ((triple3) -> (rule2 % int2))) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((((triple3) -> (rule2 % int3)) triple3) -> (rule5 % int2)) triple3) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Fiona is red.
True
6
proof
[(((((((triple10) -> rule2) triple10) -> rule5) triple10) -> rule9))]
("Fiona" "is" "red" "+")
((((((triple10) -> (rule2 % int3)) triple10) -> (rule5 % int2)) triple10) -> (rule9 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Bob is not furry.
False
6
inv-proof
[(((((triple4 ((triple3) -> rule2)) -> rule7) triple3) -> rule8) OR ((((((((triple3) -> rule2) triple3) -> rule5) triple3) -> rule9) triple3) -> rule8))]
("Bob" "is" "furry" "-")
((((triple4 ((triple3) -> (rule2 % int3))) -> (rule7 % int2)) triple3) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((((triple3) -> (rule2 % int4)) triple3) -> (rule5 % int3)) triple3) -> (rule9 % int2)) triple3) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is green.
True
9
proof
[(((((((triple4 ((triple3) -> rule2)) -> rule7) triple3) -> rule8) ((triple3) -> rule2)) -> rule1) OR ((((((((((triple3) -> rule2) triple3) -> rule5) triple3) -> rule9) triple3) -> rule8) ((triple3) -> rule2)) -> rule1))]
("Bob" "is" "green" "+")
((((((triple4 ((triple3) -> (rule2 % int4))) -> (rule7 % int3)) triple3) -> (rule8 % int2)) ((triple3) -> (rule2 % int4))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((((((triple3) -> (rule2 % int5)) triple3) -> (rule5 % int4)) triple3) -> (rule9 % int3)) triple3) -> (rule8 % int2)) ((triple3) -> (rule2 % int5))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Fiona is not furry.
False
8
inv-proof
[(((((((((triple10) -> rule2) triple10) -> rule5) triple10) -> rule9) triple10) -> rule8))]
("Fiona" "is" "furry" "-")
((((((((triple10) -> (rule2 % int4)) triple10) -> (rule5 % int3)) triple10) -> (rule9 % int2)) triple10) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is green.
True
11
proof
[(((((((((((triple10) -> rule2) triple10) -> rule5) triple10) -> rule9) triple10) -> rule8) ((triple10) -> rule2)) -> rule1))]
("Fiona" "is" "green" "+")
((((((((((triple10) -> (rule2 % int5)) triple10) -> (rule5 % int4)) triple10) -> (rule9 % int3)) triple10) -> (rule8 % int2)) ((triple10) -> (rule2 % int5))) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is not green.
False
11
inv-proof
[(((((((((((triple10) -> rule2) triple10) -> rule5) triple10) -> rule9) triple10) -> rule8) ((triple10) -> rule2)) -> rule1))]
("Fiona" "is" "green" "-")
((((((((((triple10) -> (rule2 % int5)) triple10) -> (rule5 % int4)) triple10) -> (rule9 % int3)) triple10) -> (rule8 % int2)) ((triple10) -> (rule2 % int5))) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2 OR ((((((((((((triple1) -> rule2) triple1) -> rule5) triple1) -> rule9) triple1) -> rule8) ((triple1) -> rule2)) -> rule1)) -> rule4))] Bob is cold.[(triple3)] Bob is quiet.[(triple4 OR ((((((((((((triple3) -> rule2) triple3) -> rule5) triple3) -> rule9) triple3) -> rule8) ((triple3) -> rule2)) -> rule1)) -> rule4))] Erin is big.[(triple5 OR ((triple6) -> rule2))] Erin is cold.[(triple6)] Erin is furry.[(triple7 OR ((triple9 triple6) -> rule8) OR ((((triple8 triple6) -> rule9) triple6) -> rule8) OR ((((((triple5 triple6) -> rule5) triple6) -> rule9) triple6) -> rule8) OR ((((((((triple6) -> rule2) triple6) -> rule5) triple6) -> rule9) triple6) -> rule8))] Erin is nice.[(triple8 OR ((triple5 triple6) -> rule5) OR ((((triple6) -> rule2) triple6) -> rule5) OR ((((triple7 triple5) -> rule1) triple5) -> rule3) OR ((((triple7 triple5) -> rule1) ((triple6) -> rule2)) -> rule3) OR ((((triple7 ((triple6) -> rule2)) -> rule1) triple5) -> rule3) OR ((((((triple9 triple6) -> rule8) triple5) -> rule1) triple5) -> rule3) OR ((((triple7 ((triple6) -> rule2)) -> rule1) ((triple6) -> rule2)) -> rule3) OR ((((((triple9 triple6) -> rule8) triple5) -> rule1) ((triple6) -> rule2)) -> rule3) OR ((((((triple9 triple6) -> rule8) ((triple6) -> rule2)) -> rule1) triple5) -> rule3) OR ((((((triple9 triple6) -> rule8) ((triple6) -> rule2)) -> rule1) ((triple6) -> rule2)) -> rule3))] Erin is red.[(triple9 OR ((triple8 triple6) -> rule9) OR ((((triple5 triple6) -> rule5) triple6) -> rule9) OR ((((((triple7 triple5) -> rule1)) -> rule4) triple5) -> rule7) OR ((((((triple6) -> rule2) triple6) -> rule5) triple6) -> rule9) OR ((((((triple7 triple5) -> rule1) triple5) -> rule3) triple6) -> rule9) OR ((((((triple7 triple5) -> rule1)) -> rule4) ((triple6) -> rule2)) -> rule7) OR ((((((triple7 triple5) -> rule1) ((triple6) -> rule2)) -> rule3) triple6) -> rule9) OR ((((((triple7 ((triple6) -> rule2)) -> rule1)) -> rule4) triple5) -> rule7) OR ((((((triple7 ((triple6) -> rule2)) -> rule1) triple5) -> rule3) triple6) -> rule9) OR ((((((triple7 ((triple6) -> rule2)) -> rule1)) -> rule4) ((triple6) -> rule2)) -> rule7) OR ((((((triple7 ((triple6) -> rule2)) -> rule1) ((triple6) -> rule2)) -> rule3) triple6) -> rule9))] Fiona is cold.[(triple10)] @1: Anne is big.[(((triple1) -> rule2))] Bob is big.[(((triple3) -> rule2))] Erin is green.[(((triple7 triple5) -> rule1) OR ((triple7 ((triple6) -> rule2)) -> rule1) OR ((((triple9 triple6) -> rule8) triple5) -> rule1) OR ((((triple9 triple6) -> rule8) ((triple6) -> rule2)) -> rule1) OR ((((((triple8 triple6) -> rule9) triple6) -> rule8) triple5) -> rule1) OR ((((((triple8 triple6) -> rule9) triple6) -> rule8) ((triple6) -> rule2)) -> rule1) OR ((((((((triple5 triple6) -> rule5) triple6) -> rule9) triple6) -> rule8) triple5) -> rule1) OR ((((((((triple5 triple6) -> rule5) triple6) -> rule9) triple6) -> rule8) ((triple6) -> rule2)) -> rule1) OR ((((((((((triple6) -> rule2) triple6) -> rule5) triple6) -> rule9) triple6) -> rule8) triple5) -> rule1) OR ((((((((((triple6) -> rule2) triple6) -> rule5) triple6) -> rule9) triple6) -> rule8) ((triple6) -> rule2)) -> rule1))] Fiona is big.[(((triple10) -> rule2))] @2: Anne is nice.[(((((triple1) -> rule2) triple1) -> rule5) OR ((((((((triple2 ((triple1) -> rule2)) -> rule7) triple1) -> rule8) ((triple1) -> rule2)) -> rule1) ((triple1) -> rule2)) -> rule3))] Anne is red.[(((triple2 ((triple1) -> rule2)) -> rule7) OR ((((((triple1) -> rule2) triple1) -> rule5) triple1) -> rule9))] Bob is nice.[(((((triple3) -> rule2) triple3) -> rule5) OR ((((((((triple4 ((triple3) -> rule2)) -> rule7) triple3) -> rule8) ((triple3) -> rule2)) -> rule1) ((triple3) -> rule2)) -> rule3))] Bob is red.[(((triple4 ((triple3) -> rule2)) -> rule7) OR ((((((triple3) -> rule2) triple3) -> rule5) triple3) -> rule9))] Erin is quiet.[(((((triple7 triple5) -> rule1)) -> rule4) OR ((((triple7 ((triple6) -> rule2)) -> rule1)) -> rule4) OR ((((((triple9 triple6) -> rule8) triple5) -> rule1)) -> rule4) OR ((((((triple9 triple6) -> rule8) ((triple6) -> rule2)) -> rule1)) -> rule4) OR ((((((((triple8 triple6) -> rule9) triple6) -> rule8) triple5) -> rule1)) -> rule4) OR ((((((((triple8 triple6) -> rule9) triple6) -> rule8) ((triple6) -> rule2)) -> rule1)) -> rule4) OR ((((((((((triple5 triple6) -> rule5) triple6) -> rule9) triple6) -> rule8) triple5) -> rule1)) -> rule4) OR ((((((((((triple5 triple6) -> rule5) triple6) -> rule9) triple6) -> rule8) ((triple6) -> rule2)) -> rule1)) -> rule4) OR ((((((((((((triple6) -> rule2) triple6) -> rule5) triple6) -> rule9) triple6) -> rule8) triple5) -> rule1)) -> rule4) OR ((((((((((((triple6) -> rule2) triple6) -> rule5) triple6) -> rule9) triple6) -> rule8) ((triple6) -> rule2)) -> rule1)) -> rule4))] Fiona is nice.[(((((triple10) -> rule2) triple10) -> rule5))] @3: Anne is furry.[(((((triple2 ((triple1) -> rule2)) -> rule7) triple1) -> rule8) OR ((((((((triple1) -> rule2) triple1) -> rule5) triple1) -> rule9) triple1) -> rule8))] Bob is furry.[(((((triple4 ((triple3) -> rule2)) -> rule7) triple3) -> rule8) OR ((((((((triple3) -> rule2) triple3) -> rule5) triple3) -> rule9) triple3) -> rule8))] Fiona is red.[(((((((triple10) -> rule2) triple10) -> rule5) triple10) -> rule9))] @4: Anne is green.[(((((((triple2 ((triple1) -> rule2)) -> rule7) triple1) -> rule8) ((triple1) -> rule2)) -> rule1) OR ((((((((((triple1) -> rule2) triple1) -> rule5) triple1) -> rule9) triple1) -> rule8) ((triple1) -> rule2)) -> rule1))] Bob is green.[(((((((triple4 ((triple3) -> rule2)) -> rule7) triple3) -> rule8) ((triple3) -> rule2)) -> rule1) OR ((((((((((triple3) -> rule2) triple3) -> rule5) triple3) -> rule9) triple3) -> rule8) ((triple3) -> rule2)) -> rule1))] Fiona is furry.[(((((((((triple10) -> rule2) triple10) -> rule5) triple10) -> rule9) triple10) -> rule8))] @5: Fiona is green.[(((((((((((triple10) -> rule2) triple10) -> rule5) triple10) -> rule9) triple10) -> rule8) ((triple10) -> rule2)) -> rule1))] @6: Fiona is quiet.[(((((((((((((triple10) -> rule2) triple10) -> rule5) triple10) -> rule9) triple10) -> rule8) ((triple10) -> rule2)) -> rule1)) -> rule4))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
((((((((((((triple1) -> (rule2 % int6)) triple1) -> (rule5 % int5)) triple1) -> (rule9 % int4)) triple1) -> (rule8 % int3)) ((triple1) -> (rule2 % int6))) -> (rule1 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
((((((((((((triple3) -> (rule2 % int6)) triple3) -> (rule5 % int5)) triple3) -> (rule9 % int4)) triple3) -> (rule8 % int3)) ((triple3) -> (rule2 % int6))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is big.
("Bob" "is" "big" "+")
int6
Erin is big.
("Erin" "is" "big" "+")
triple5
((triple6) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
triple6
Erin is furry.
("Erin" "is" "furry" "+")
triple7
((triple9 triple6) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple8 triple6) -> (rule9 % int2)) triple6) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((((triple5 triple6) -> (rule5 % int3)) triple6) -> (rule9 % int2)) triple6) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((((((triple6) -> (rule2 % int4)) triple6) -> (rule5 % int3)) triple6) -> (rule9 % int2)) triple6) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
triple8
((triple5 triple6) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple6) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple7 triple5) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple7 triple5) -> (rule1 % int3)) ((triple6) -> (rule2 % int2))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((triple7 ((triple6) -> (rule2 % int3))) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple9 triple6) -> (rule8 % int3)) triple5) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((triple7 ((triple6) -> (rule2 % int3))) -> (rule1 % int2)) ((triple6) -> (rule2 % int3))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple9 triple6) -> (rule8 % int4)) triple5) -> (rule1 % int3)) ((triple6) -> (rule2 % int2))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple9 triple6) -> (rule8 % int4)) ((triple6) -> (rule2 % int3))) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple9 triple6) -> (rule8 % int4)) ((triple6) -> (rule2 % int3))) -> (rule1 % int2)) ((triple6) -> (rule2 % int3))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
triple9
((triple8 triple6) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((((triple5 triple6) -> (rule5 % int2)) triple6) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((((triple7 triple5) -> (rule1 % int3))) -> (rule4 % int2)) triple5) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((triple6) -> (rule2 % int3)) triple6) -> (rule5 % int2)) triple6) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple7 triple5) -> (rule1 % int3)) triple5) -> (rule3 % int2)) triple6) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((triple7 triple5) -> (rule1 % int4))) -> (rule4 % int3)) ((triple6) -> (rule2 % int2))) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((triple7 triple5) -> (rule1 % int4)) ((triple6) -> (rule2 % int3))) -> (rule3 % int2)) triple6) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((triple7 ((triple6) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple5) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple7 ((triple6) -> (rule2 % int4))) -> (rule1 % int3)) triple5) -> (rule3 % int2)) triple6) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple7 ((triple6) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple6) -> (rule2 % int4))) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple7 ((triple6) -> (rule2 % int4))) -> (rule1 % int3)) ((triple6) -> (rule2 % int4))) -> (rule3 % int2)) triple6) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple10
Anne is big.
("Anne" "is" "big" "+")
((triple1) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((triple3) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((triple7 triple5) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((triple7 ((triple6) -> (rule2 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple9 triple6) -> (rule8 % int2)) triple5) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple9 triple6) -> (rule8 % int3)) ((triple6) -> (rule2 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple8 triple6) -> (rule9 % int3)) triple6) -> (rule8 % int2)) triple5) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple8 triple6) -> (rule9 % int4)) triple6) -> (rule8 % int3)) ((triple6) -> (rule2 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((((triple5 triple6) -> (rule5 % int4)) triple6) -> (rule9 % int3)) triple6) -> (rule8 % int2)) triple5) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((((triple5 triple6) -> (rule5 % int5)) triple6) -> (rule9 % int4)) triple6) -> (rule8 % int3)) ((triple6) -> (rule2 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((((((triple6) -> (rule2 % int5)) triple6) -> (rule5 % int4)) triple6) -> (rule9 % int3)) triple6) -> (rule8 % int2)) triple5) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple6) -> (rule2 % int5)) triple6) -> (rule5 % int4)) triple6) -> (rule9 % int3)) triple6) -> (rule8 % int2)) ((triple6) -> (rule2 % int5))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Fiona is big.
("Fiona" "is" "big" "+")
((triple10) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
((((triple1) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((((((triple2 ((triple1) -> (rule2 % int5))) -> (rule7 % int4)) triple1) -> (rule8 % int3)) ((triple1) -> (rule2 % int5))) -> (rule1 % int2)) ((triple1) -> (rule2 % int5))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is red.
("Anne" "is" "red" "+")
((triple2 ((triple1) -> (rule2 % int2))) -> (rule7 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((((triple1) -> (rule2 % int3)) triple1) -> (rule5 % int2)) triple1) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
((((triple3) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((((((triple4 ((triple3) -> (rule2 % int5))) -> (rule7 % int4)) triple3) -> (rule8 % int3)) ((triple3) -> (rule2 % int5))) -> (rule1 % int2)) ((triple3) -> (rule2 % int5))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
((triple4 ((triple3) -> (rule2 % int2))) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((((triple3) -> (rule2 % int3)) triple3) -> (rule5 % int2)) triple3) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
((((triple7 triple5) -> (rule1 % int2))) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple7 ((triple6) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple9 triple6) -> (rule8 % int3)) triple5) -> (rule1 % int2))) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple9 triple6) -> (rule8 % int4)) ((triple6) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((((triple8 triple6) -> (rule9 % int4)) triple6) -> (rule8 % int3)) triple5) -> (rule1 % int2))) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((((triple8 triple6) -> (rule9 % int5)) triple6) -> (rule8 % int4)) ((triple6) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((((triple5 triple6) -> (rule5 % int5)) triple6) -> (rule9 % int4)) triple6) -> (rule8 % int3)) triple5) -> (rule1 % int2))) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((((((triple5 triple6) -> (rule5 % int6)) triple6) -> (rule9 % int5)) triple6) -> (rule8 % int4)) ((triple6) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
int6
((((((((((((triple6) -> (rule2 % int6)) triple6) -> (rule5 % int5)) triple6) -> (rule9 % int4)) triple6) -> (rule8 % int3)) triple5) -> (rule1 % int2))) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((((((triple6) -> (rule2 % int6)) triple6) -> (rule5 % int5)) triple6) -> (rule9 % int4)) triple6) -> (rule8 % int3)) ((triple6) -> (rule2 % int6))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple10) -> (rule2 % int2)) triple10) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
((((triple2 ((triple1) -> (rule2 % int3))) -> (rule7 % int2)) triple1) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((((triple1) -> (rule2 % int4)) triple1) -> (rule5 % int3)) triple1) -> (rule9 % int2)) triple1) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
((((triple4 ((triple3) -> (rule2 % int3))) -> (rule7 % int2)) triple3) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((((triple3) -> (rule2 % int4)) triple3) -> (rule5 % int3)) triple3) -> (rule9 % int2)) triple3) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
((((((triple10) -> (rule2 % int3)) triple10) -> (rule5 % int2)) triple10) -> (rule9 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
((((((triple2 ((triple1) -> (rule2 % int4))) -> (rule7 % int3)) triple1) -> (rule8 % int2)) ((triple1) -> (rule2 % int4))) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((((((triple1) -> (rule2 % int5)) triple1) -> (rule5 % int4)) triple1) -> (rule9 % int3)) triple1) -> (rule8 % int2)) ((triple1) -> (rule2 % int5))) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
((((((triple4 ((triple3) -> (rule2 % int4))) -> (rule7 % int3)) triple3) -> (rule8 % int2)) ((triple3) -> (rule2 % int4))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((((((triple3) -> (rule2 % int5)) triple3) -> (rule5 % int4)) triple3) -> (rule9 % int3)) triple3) -> (rule8 % int2)) ((triple3) -> (rule2 % int5))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Fiona is furry.
("Fiona" "is" "furry" "+")
((((((((triple10) -> (rule2 % int4)) triple10) -> (rule5 % int3)) triple10) -> (rule9 % int2)) triple10) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
((((((((((triple10) -> (rule2 % int5)) triple10) -> (rule5 % int4)) triple10) -> (rule9 % int3)) triple10) -> (rule8 % int2)) ((triple10) -> (rule2 % int5))) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((((((((((triple10) -> (rule2 % int6)) triple10) -> (rule5 % int5)) triple10) -> (rule9 % int4)) triple10) -> (rule8 % int3)) ((triple10) -> (rule2 % int6))) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Fiona is big.
("Fiona" "is" "big" "+")
int6