Anne is furry. Anne is smart. Charlie is big. Erin is big. Erin is cold. Erin is furry. Erin is kind. Erin is nice. Erin is quiet. Erin is smart. Harry is kind. Harry is nice. Cold things are nice. If Charlie is kind and Charlie is smart then Charlie is nice. If something is big and quiet then it is nice. If something is kind and quiet then it is cold. If something is smart then it is furry. If something is furry then it is big. If something is big then it is quiet. All nice things are kind.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Cold things are nice.
((("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
If Charlie is kind and Charlie is smart then Charlie is nice.
((("Charlie" "is" "kind" "+") ("Charlie" "is" "smart" "+")) -> ("Charlie" "is" "nice" "+"))
If something is big and quiet then it is nice.
((("something" "is" "big" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "nice" "+"))
If something is kind and quiet then it is cold.
((("something" "is" "kind" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "cold" "+"))
If something is smart then it is furry.
((("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
If something is furry then it is big.
((("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
If something is big then it is quiet.
((("something" "is" "big" "+")) -> ("something" "is" "quiet" "+"))
All nice things are kind.
((("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
Erin is cold.
True
1
proof
[(triple5 OR ((triple7 triple9) -> rule4) OR ((triple7 ((triple4) -> rule7)) -> rule4) OR ((((triple8) -> rule8) triple9) -> rule4) OR ((((triple8) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((triple7 ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((triple4 triple9) -> rule3)) -> rule8) triple9) -> rule4) OR ((((triple8) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((triple4 triple9) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((triple4 triple9) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((triple7 ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple4 ((triple4) -> rule7)) -> rule3)) -> rule8) triple9) -> rule4) OR ((((((((triple6) -> rule6) triple9) -> rule3)) -> rule8) triple9) -> rule4) OR ((((triple8) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple4 ((triple4) -> rule7)) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) triple9) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((triple4) -> rule7)) -> rule3)) -> rule8) triple9) -> rule4) OR ((((((triple4 triple9) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple4 ((triple4) -> rule7)) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) triple9) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((triple4) -> rule7)) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((triple4 ((triple4) -> rule7)) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) triple9) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((triple4) -> rule7)) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((triple4) -> rule7)) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple4 ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) triple9) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) triple9) -> rule3)) -> rule8) triple9) -> rule4) OR ((((((triple4 ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) triple9) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) triple9) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((triple4) -> rule7)) -> rule3)) -> rule8) triple9) -> rule4) OR ((((((triple4 ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) triple9) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((triple4) -> rule7)) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) triple9) -> rule4) OR ((((((triple4 ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) triple9) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((triple4) -> rule7)) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((triple4) -> rule7)) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple4 ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) triple9) -> rule4) OR ((((((triple4 ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) triple9) -> rule4) OR ((((((triple4 ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) triple9) -> rule4) OR ((((((triple4 ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4))]
("Erin" "is" "cold" "+")
triple5
((triple7 triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple7 ((triple4) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple8) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((triple8) -> (rule8 % int3)) ((triple4) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((triple7 ((((triple6) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple4 triple9) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple8) -> (rule8 % int4)) ((((triple6) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((triple4 triple9) -> (rule3 % int4))) -> (rule8 % int3)) ((triple4) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple4 triple9) -> (rule3 % int5))) -> (rule8 % int4)) ((((triple6) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((triple7 ((((((triple10) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple4 ((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((((triple6) -> (rule6 % int4)) triple9) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple8) -> (rule8 % int5)) ((((((triple10) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
((((((triple4 ((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple4) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((((triple6) -> (rule6 % int5)) triple9) -> (rule3 % int4))) -> (rule8 % int3)) ((triple4) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((triple6) -> (rule6 % int5)) ((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((triple4 triple9) -> (rule3 % int6))) -> (rule8 % int5)) ((((((triple10) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
int6
((((((triple4 ((triple4) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((((triple6) -> (rule6 % int2))) -> (rule7 % int5))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((((triple6) -> (rule6 % int5)) triple9) -> (rule3 % int4))) -> (rule8 % int3)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((triple6) -> (rule6 % int5)) ((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple4) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((triple4 ((triple4) -> (rule7 % int6))) -> (rule3 % int5))) -> (rule8 % int4)) ((((((triple10) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int6))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is quiet.
("Erin" "is" "quiet" "+")
int6
((((((((triple6) -> (rule6 % int6)) triple9) -> (rule3 % int5))) -> (rule8 % int4)) ((((((triple10) -> (rule5 % int3))) -> (rule6 % int6))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((triple6) -> (rule6 % int5)) ((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((triple6) -> (rule6 % int6)) ((triple4) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((((((triple10) -> (rule5 % int2))) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((triple4 ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple10) -> (rule5 % int5))) -> (rule6 % int4)) triple9) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple4 ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple4) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((triple6) -> (rule6 % int5)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) triple9) -> (rule3 % int4))) -> (rule8 % int3)) ((triple4) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((triple4 ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((triple6) -> (rule6 % int5)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple4) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) triple9) -> (rule3 % int4))) -> (rule8 % int3)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple4) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((triple4 ((((triple6) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((((((triple10) -> (rule5 % int2))) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((triple6) -> (rule6 % int5)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) triple9) -> (rule3 % int4))) -> (rule8 % int3)) ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple4) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((triple6) -> (rule6 % int6)) ((((triple6) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((((((triple10) -> (rule5 % int2))) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((triple4 ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((triple4 ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple4) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((triple6) -> (rule6 % int6)) ((((((triple10) -> (rule5 % int5))) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((triple4 ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((triple6) -> (rule6 % int6)) ((((((triple10) -> (rule5 % int5))) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple4) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((triple4 ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((triple6) -> (rule6 % int6)) ((((((triple10) -> (rule5 % int5))) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple6) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple4) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((triple6) -> (rule6 % int6)) ((((((triple10) -> (rule5 % int5))) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((((triple10) -> (rule5 % int5))) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
Erin is not cold.
False
1
inv-proof
[(triple5 OR ((triple7 triple9) -> rule4) OR ((triple7 ((triple4) -> rule7)) -> rule4) OR ((((triple8) -> rule8) triple9) -> rule4) OR ((((triple8) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((triple7 ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((triple4 triple9) -> rule3)) -> rule8) triple9) -> rule4) OR ((((triple8) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((triple4 triple9) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((triple4 triple9) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((triple7 ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple4 ((triple4) -> rule7)) -> rule3)) -> rule8) triple9) -> rule4) OR ((((((((triple6) -> rule6) triple9) -> rule3)) -> rule8) triple9) -> rule4) OR ((((triple8) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple4 ((triple4) -> rule7)) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) triple9) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((triple4) -> rule7)) -> rule3)) -> rule8) triple9) -> rule4) OR ((((((triple4 triple9) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple4 ((triple4) -> rule7)) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) triple9) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((triple4) -> rule7)) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((triple4 ((triple4) -> rule7)) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) triple9) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((triple4) -> rule7)) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((triple4) -> rule7)) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple4 ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) triple9) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) triple9) -> rule3)) -> rule8) triple9) -> rule4) OR ((((((triple4 ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) triple9) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) triple9) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((triple4) -> rule7)) -> rule3)) -> rule8) triple9) -> rule4) OR ((((((triple4 ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) triple9) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((triple4) -> rule7)) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) triple9) -> rule4) OR ((((((triple4 ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) triple9) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((triple4) -> rule7)) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((triple4) -> rule7)) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple4 ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) triple9) -> rule4) OR ((((((triple4 ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) triple9) -> rule4) OR ((((((triple4 ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) triple9) -> rule4) OR ((((((triple4 ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4))]
("Erin" "is" "cold" "-")
triple5
((triple7 triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple7 ((triple4) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple8) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((triple8) -> (rule8 % int3)) ((triple4) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((triple7 ((((triple6) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple4 triple9) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple8) -> (rule8 % int4)) ((((triple6) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((triple4 triple9) -> (rule3 % int4))) -> (rule8 % int3)) ((triple4) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple4 triple9) -> (rule3 % int5))) -> (rule8 % int4)) ((((triple6) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((triple7 ((((((triple10) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple4 ((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((((triple6) -> (rule6 % int4)) triple9) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple8) -> (rule8 % int5)) ((((((triple10) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
((((((triple4 ((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple4) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((((triple6) -> (rule6 % int5)) triple9) -> (rule3 % int4))) -> (rule8 % int3)) ((triple4) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((triple6) -> (rule6 % int5)) ((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((triple4 triple9) -> (rule3 % int6))) -> (rule8 % int5)) ((((((triple10) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
int6
((((((triple4 ((triple4) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((((triple6) -> (rule6 % int2))) -> (rule7 % int5))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((((triple6) -> (rule6 % int5)) triple9) -> (rule3 % int4))) -> (rule8 % int3)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((triple6) -> (rule6 % int5)) ((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple4) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((triple4 ((triple4) -> (rule7 % int6))) -> (rule3 % int5))) -> (rule8 % int4)) ((((((triple10) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int6))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is quiet.
("Erin" "is" "quiet" "+")
int6
((((((((triple6) -> (rule6 % int6)) triple9) -> (rule3 % int5))) -> (rule8 % int4)) ((((((triple10) -> (rule5 % int3))) -> (rule6 % int6))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((triple6) -> (rule6 % int5)) ((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((triple6) -> (rule6 % int6)) ((triple4) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((((((triple10) -> (rule5 % int2))) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((triple4 ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple10) -> (rule5 % int5))) -> (rule6 % int4)) triple9) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple4 ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple4) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((triple6) -> (rule6 % int5)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) triple9) -> (rule3 % int4))) -> (rule8 % int3)) ((triple4) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((triple4 ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((triple6) -> (rule6 % int5)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple4) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) triple9) -> (rule3 % int4))) -> (rule8 % int3)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple4) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((triple4 ((((triple6) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((((((triple10) -> (rule5 % int2))) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((triple6) -> (rule6 % int5)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) triple9) -> (rule3 % int4))) -> (rule8 % int3)) ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple4) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((triple6) -> (rule6 % int6)) ((((triple6) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((((((triple10) -> (rule5 % int2))) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((triple4 ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((triple4 ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple4) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((triple6) -> (rule6 % int6)) ((((((triple10) -> (rule5 % int5))) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((triple4 ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((triple6) -> (rule6 % int6)) ((((((triple10) -> (rule5 % int5))) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple4) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((triple4 ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((triple6) -> (rule6 % int6)) ((((((triple10) -> (rule5 % int5))) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple6) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple4) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((triple6) -> (rule6 % int6)) ((((((triple10) -> (rule5 % int5))) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((((triple10) -> (rule5 % int5))) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
Anne is big.
True
2
proof
[(((triple1) -> rule6) OR ((((triple2) -> rule5)) -> rule6))]
("Anne" "is" "big" "+")
((triple1) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((triple2) -> (rule5 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Charlie is not quiet.
False
2
inv-proof
[(((triple3) -> rule7))]
("Charlie" "is" "quiet" "-")
((triple3) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
True
4
proof
[(((triple3 ((triple3) -> rule7)) -> rule3))]
("Charlie" "is" "nice" "+")
((triple3 ((triple3) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Anne is not quiet.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule7) OR ((((((triple2) -> rule5)) -> rule6)) -> rule7))]
("Anne" "is" "quiet" "-")
((((triple1) -> (rule6 % int2))) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((((triple2) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Charlie is kind.
True
5
proof
[(((((triple3 ((triple3) -> rule7)) -> rule3)) -> rule8))]
("Charlie" "is" "kind" "+")
((((triple3 ((triple3) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Anne is not nice.
False
6
inv-proof
[(((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule7)) -> rule3) OR ((((((triple2) -> rule5)) -> rule6) ((((triple1) -> rule6)) -> rule7)) -> rule3) OR ((((triple1) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule3) OR ((((((triple2) -> rule5)) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule3))]
("Anne" "is" "nice" "-")
((((triple1) -> (rule6 % int3)) ((((triple1) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple2) -> (rule5 % int4))) -> (rule6 % int3)) ((((triple1) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((triple1) -> (rule6 % int4)) ((((((triple2) -> (rule5 % int3))) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((triple2) -> (rule5 % int4))) -> (rule6 % int3)) ((((((triple2) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is kind.
True
7
proof
[(((((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule7)) -> rule3)) -> rule8) OR ((((((((triple2) -> rule5)) -> rule6) ((((triple1) -> rule6)) -> rule7)) -> rule3)) -> rule8) OR ((((((triple1) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) OR ((((((((triple2) -> rule5)) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8))]
("Anne" "is" "kind" "+")
((((((triple1) -> (rule6 % int4)) ((((triple1) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((((triple2) -> (rule5 % int5))) -> (rule6 % int4)) ((((triple1) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((((triple1) -> (rule6 % int5)) ((((((triple2) -> (rule5 % int4))) -> (rule6 % int5))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((triple2) -> (rule5 % int5))) -> (rule6 % int4)) ((((((triple2) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is not kind.
False
7
inv-proof
[(((((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule7)) -> rule3)) -> rule8) OR ((((((((triple2) -> rule5)) -> rule6) ((((triple1) -> rule6)) -> rule7)) -> rule3)) -> rule8) OR ((((((triple1) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) OR ((((((((triple2) -> rule5)) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8))]
("Anne" "is" "kind" "-")
((((((triple1) -> (rule6 % int4)) ((((triple1) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((((triple2) -> (rule5 % int5))) -> (rule6 % int4)) ((((triple1) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((((triple1) -> (rule6 % int5)) ((((((triple2) -> (rule5 % int4))) -> (rule6 % int5))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((triple2) -> (rule5 % int5))) -> (rule6 % int4)) ((((((triple2) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is cold.
True
11
proof
[(((((((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((triple1) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple2) -> rule5)) -> rule6) ((((triple1) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((triple1) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple2) -> rule5)) -> rule6) ((((triple1) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple1) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((triple1) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple1) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple2) -> rule5)) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((triple1) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple2) -> rule5)) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule4))]
("Anne" "is" "cold" "+")
((((((((triple1) -> (rule6 % int5)) ((((triple1) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple1) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((triple1) -> (rule6 % int6)) ((((triple1) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((((((triple2) -> (rule5 % int2))) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
((((((((((triple2) -> (rule5 % int6))) -> (rule6 % int5)) ((((triple1) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple1) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((((((triple2) -> (rule5 % int6))) -> (rule6 % int5)) ((((triple1) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((((triple2) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((((triple1) -> (rule6 % int6)) ((((((triple2) -> (rule5 % int5))) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple1) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
((((((((triple1) -> (rule6 % int6)) ((((((triple2) -> (rule5 % int5))) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((((triple2) -> (rule5 % int5))) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
((((((((((triple2) -> (rule5 % int6))) -> (rule6 % int5)) ((((((triple2) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple1) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((((((triple2) -> (rule5 % int6))) -> (rule6 % int5)) ((((((triple2) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((((triple2) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
Anne is not cold.
False
11
inv-proof
[(((((((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((triple1) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple2) -> rule5)) -> rule6) ((((triple1) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((triple1) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple2) -> rule5)) -> rule6) ((((triple1) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple1) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((triple1) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple1) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple2) -> rule5)) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((triple1) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple2) -> rule5)) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule4))]
("Anne" "is" "cold" "-")
((((((((triple1) -> (rule6 % int5)) ((((triple1) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple1) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((triple1) -> (rule6 % int6)) ((((triple1) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((((((triple2) -> (rule5 % int2))) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
((((((((((triple2) -> (rule5 % int6))) -> (rule6 % int5)) ((((triple1) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple1) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((((((triple2) -> (rule5 % int6))) -> (rule6 % int5)) ((((triple1) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((((triple2) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((((triple1) -> (rule6 % int6)) ((((((triple2) -> (rule5 % int5))) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple1) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
((((((((triple1) -> (rule6 % int6)) ((((((triple2) -> (rule5 % int5))) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((((triple2) -> (rule5 % int5))) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
((((((((((triple2) -> (rule5 % int6))) -> (rule6 % int5)) ((((((triple2) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple1) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((((((triple2) -> (rule5 % int6))) -> (rule6 % int5)) ((((((triple2) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((((triple2) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
Charlie is not furry.
Unknown
inv-rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "furry" "-")
Harry is cold.
Unknown
rconc
[@4: Harry is cold.[CWA. Example of deepest failure = (rule4 <- rule7 <- rule6 <- rule5 <- FAIL)]]
("Harry" "is" "cold" "+")
Harry is not quiet.
Unknown
inv-rconc
[@3: Harry is quiet.[CWA. Example of deepest failure = (rule7 <- rule6 <- rule5 <- FAIL)]]
("Harry" "is" "quiet" "-")
Harry is furry.
Unknown
rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "furry" "+")
Harry is not big.
Unknown
inv-rconc
[@2: Harry is big.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Harry" "is" "big" "-")
Charlie is smart.
Unknown
random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "+")
@0: Anne is furry.[(triple1 OR ((triple2) -> rule5))] Anne is smart.[(triple2)] Charlie is big.[(triple3)] Erin is big.[(triple4 OR ((triple6) -> rule6) OR ((((triple10) -> rule5)) -> rule6))] Erin is cold.[(triple5 OR ((triple7 triple9) -> rule4) OR ((triple7 ((triple4) -> rule7)) -> rule4) OR ((((triple8) -> rule8) triple9) -> rule4) OR ((((triple8) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((triple7 ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((triple4 triple9) -> rule3)) -> rule8) triple9) -> rule4) OR ((((triple8) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((triple4 triple9) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((triple4 triple9) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((triple7 ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple4 ((triple4) -> rule7)) -> rule3)) -> rule8) triple9) -> rule4) OR ((((((((triple6) -> rule6) triple9) -> rule3)) -> rule8) triple9) -> rule4) OR ((((triple8) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple4 ((triple4) -> rule7)) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) triple9) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((triple4) -> rule7)) -> rule3)) -> rule8) triple9) -> rule4) OR ((((((triple4 triple9) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple4 ((triple4) -> rule7)) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) triple9) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((triple4) -> rule7)) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((triple4 ((triple4) -> rule7)) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) triple9) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((triple4) -> rule7)) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((triple4) -> rule7)) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple4 ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) triple9) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) triple9) -> rule3)) -> rule8) triple9) -> rule4) OR ((((((triple4 ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) triple9) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) triple9) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((triple4) -> rule7)) -> rule3)) -> rule8) triple9) -> rule4) OR ((((((triple4 ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) triple9) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((triple4) -> rule7)) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) triple9) -> rule4) OR ((((((triple4 ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) triple9) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((triple4) -> rule7)) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((triple4) -> rule7)) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple4 ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) triple9) -> rule4) OR ((((((triple4 ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) triple9) -> rule4) OR ((((((triple4 ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) triple9) -> rule4) OR ((((((triple4 ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((((((triple6) -> rule6) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((triple6) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule6) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4))] Erin is furry.[(triple6 OR ((triple10) -> rule5))] Erin is kind.[(triple7 OR ((triple8) -> rule8) OR ((((triple5) -> rule1)) -> rule8) OR ((((triple4 triple9) -> rule3)) -> rule8) OR ((((triple4 ((triple4) -> rule7)) -> rule3)) -> rule8) OR ((((((triple6) -> rule6) triple9) -> rule3)) -> rule8) OR ((((((triple6) -> rule6) ((triple4) -> rule7)) -> rule3)) -> rule8) OR ((((triple4 ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) OR ((((((((triple10) -> rule5)) -> rule6) triple9) -> rule3)) -> rule8) OR ((((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) OR ((((((((triple10) -> rule5)) -> rule6) ((triple4) -> rule7)) -> rule3)) -> rule8) OR ((((((((triple10) -> rule5)) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule8) OR ((((triple4 ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) OR ((((((triple6) -> rule6) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) OR ((((((((triple10) -> rule5)) -> rule6) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8))] Erin is nice.[(triple8 OR ((triple5) -> rule1) OR ((triple4 triple9) -> rule3) OR ((((triple7 triple9) -> rule4)) -> rule1) OR ((triple4 ((triple4) -> rule7)) -> rule3) OR ((((triple6) -> rule6) triple9) -> rule3) OR ((((triple6) -> rule6) ((triple4) -> rule7)) -> rule3) OR ((((triple7 ((triple4) -> rule7)) -> rule4)) -> rule1) OR ((triple4 ((((triple6) -> rule6)) -> rule7)) -> rule3) OR ((((((triple10) -> rule5)) -> rule6) triple9) -> rule3) OR ((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule3) OR ((((((triple10) -> rule5)) -> rule6) ((triple4) -> rule7)) -> rule3) OR ((((((triple10) -> rule5)) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule3) OR ((((triple7 ((((triple6) -> rule6)) -> rule7)) -> rule4)) -> rule1) OR ((triple4 ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3) OR ((((triple6) -> rule6) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3) OR ((((((triple10) -> rule5)) -> rule6) ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule3) OR ((((triple7 ((((((triple10) -> rule5)) -> rule6)) -> rule7)) -> rule4)) -> rule1))] Erin is quiet.[(triple9 OR ((triple4) -> rule7) OR ((((triple6) -> rule6)) -> rule7) OR ((((((triple10) -> rule5)) -> rule6)) -> rule7))] Erin is smart.[(triple10)] Harry is kind.[(triple11 OR ((triple12) -> rule8))] Harry is nice.[(triple12)] @1: Anne is big.[(((triple1) -> rule6) OR ((((triple2) -> rule5)) -> rule6))] Charlie is quiet.[(((triple3) -> rule7))] @2: Anne is quiet.[(((((triple1) -> rule6)) -> rule7) OR ((((((triple2) -> rule5)) -> rule6)) -> rule7))] Charlie is nice.[(((triple3 ((triple3) -> rule7)) -> rule3))] @3: Anne is nice.[(((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule7)) -> rule3) OR ((((((triple2) -> rule5)) -> rule6) ((((triple1) -> rule6)) -> rule7)) -> rule3) OR ((((triple1) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule3) OR ((((((triple2) -> rule5)) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule3))] Charlie is kind.[(((((triple3 ((triple3) -> rule7)) -> rule3)) -> rule8))] @4: Anne is kind.[(((((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule7)) -> rule3)) -> rule8) OR ((((((((triple2) -> rule5)) -> rule6) ((((triple1) -> rule6)) -> rule7)) -> rule3)) -> rule8) OR ((((((triple1) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) OR ((((((((triple2) -> rule5)) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8))] Charlie is cold.[(((((((triple3 ((triple3) -> rule7)) -> rule3)) -> rule8) ((triple3) -> rule7)) -> rule4))] @5: Anne is cold.[(((((((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((triple1) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple2) -> rule5)) -> rule6) ((((triple1) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((triple1) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple2) -> rule5)) -> rule6) ((((triple1) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple1) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((triple1) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple1) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple2) -> rule5)) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((triple1) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple2) -> rule5)) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule8) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule4))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
((triple2) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
((triple6) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((triple10) -> (rule5 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
triple5
((triple7 triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple7 ((triple4) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple8) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((triple8) -> (rule8 % int3)) ((triple4) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((triple7 ((((triple6) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple4 triple9) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple8) -> (rule8 % int4)) ((((triple6) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((triple4 triple9) -> (rule3 % int4))) -> (rule8 % int3)) ((triple4) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple4 triple9) -> (rule3 % int5))) -> (rule8 % int4)) ((((triple6) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((triple7 ((((((triple10) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple4 ((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((((triple6) -> (rule6 % int4)) triple9) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple8) -> (rule8 % int5)) ((((((triple10) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
((((((triple4 ((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple4) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((((triple6) -> (rule6 % int5)) triple9) -> (rule3 % int4))) -> (rule8 % int3)) ((triple4) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((triple6) -> (rule6 % int5)) ((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((triple4 triple9) -> (rule3 % int6))) -> (rule8 % int5)) ((((((triple10) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
int6
((((((triple4 ((triple4) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((((triple6) -> (rule6 % int2))) -> (rule7 % int5))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((((triple6) -> (rule6 % int5)) triple9) -> (rule3 % int4))) -> (rule8 % int3)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((triple6) -> (rule6 % int5)) ((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple4) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((triple4 ((triple4) -> (rule7 % int6))) -> (rule3 % int5))) -> (rule8 % int4)) ((((((triple10) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int6))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is quiet.
("Erin" "is" "quiet" "+")
int6
((((((((triple6) -> (rule6 % int6)) triple9) -> (rule3 % int5))) -> (rule8 % int4)) ((((((triple10) -> (rule5 % int3))) -> (rule6 % int6))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((triple6) -> (rule6 % int5)) ((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((triple6) -> (rule6 % int6)) ((triple4) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((((((triple10) -> (rule5 % int2))) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((triple4 ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple10) -> (rule5 % int5))) -> (rule6 % int4)) triple9) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple4 ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple4) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((triple6) -> (rule6 % int5)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) triple9) -> (rule3 % int4))) -> (rule8 % int3)) ((triple4) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((triple4 ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((triple6) -> (rule6 % int5)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple4) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) triple9) -> (rule3 % int4))) -> (rule8 % int3)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple4) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((triple4 ((((triple6) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((((((triple10) -> (rule5 % int2))) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((triple6) -> (rule6 % int5)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) triple9) -> (rule3 % int4))) -> (rule8 % int3)) ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple4) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((triple6) -> (rule6 % int6)) ((((triple6) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((((((triple10) -> (rule5 % int2))) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((triple4 ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((triple4 ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple4) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((triple6) -> (rule6 % int6)) ((((((triple10) -> (rule5 % int5))) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((triple4 ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((triple6) -> (rule6 % int6)) ((((((triple10) -> (rule5 % int5))) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple4) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((triple4 ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((triple6) -> (rule6 % int6)) ((((((triple10) -> (rule5 % int5))) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple6) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple4) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((triple6) -> (rule6 % int6)) ((((((triple10) -> (rule5 % int5))) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((((triple10) -> (rule5 % int5))) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((((triple10) -> (rule5 % int6))) -> (rule6 % int5)) ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((((triple10) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
Erin is furry.
("Erin" "is" "furry" "+")
triple6
((triple10) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
triple7
((triple8) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((((triple5) -> (rule1 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((triple4 triple9) -> (rule3 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((triple4 ((triple4) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((((triple6) -> (rule6 % int3)) triple9) -> (rule3 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple6) -> (rule6 % int4)) ((triple4) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple4 ((((triple6) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple10) -> (rule5 % int4))) -> (rule6 % int3)) triple9) -> (rule3 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple6) -> (rule6 % int4)) ((((triple6) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple10) -> (rule5 % int5))) -> (rule6 % int4)) ((triple4) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple10) -> (rule5 % int5))) -> (rule6 % int4)) ((((triple6) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((triple4 ((((((triple10) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple6) -> (rule6 % int5)) ((((((triple10) -> (rule5 % int4))) -> (rule6 % int5))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((triple10) -> (rule5 % int5))) -> (rule6 % int4)) ((((((triple10) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
triple8
((triple5) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple4 triple9) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple7 triple9) -> (rule4 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((triple4 ((triple4) -> (rule7 % int2))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple6) -> (rule6 % int2)) triple9) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple6) -> (rule6 % int3)) ((triple4) -> (rule7 % int2))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple7 ((triple4) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((triple4 ((((triple6) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple10) -> (rule5 % int3))) -> (rule6 % int2)) triple9) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((triple6) -> (rule6 % int3)) ((((triple6) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple10) -> (rule5 % int4))) -> (rule6 % int3)) ((triple4) -> (rule7 % int2))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple10) -> (rule5 % int4))) -> (rule6 % int3)) ((((triple6) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple7 ((((triple6) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((triple4 ((((((triple10) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple6) -> (rule6 % int4)) ((((((triple10) -> (rule5 % int3))) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple10) -> (rule5 % int4))) -> (rule6 % int3)) ((((((triple10) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple7 ((((((triple10) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple9
((triple4) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((((triple6) -> (rule6 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((((triple10) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple11
((triple12) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Anne is big.
("Anne" "is" "big" "+")
((triple1) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((triple2) -> (rule5 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple3) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
((((triple1) -> (rule6 % int2))) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((((triple2) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple3 ((triple3) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
((((triple1) -> (rule6 % int3)) ((((triple1) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple2) -> (rule5 % int4))) -> (rule6 % int3)) ((((triple1) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((triple1) -> (rule6 % int4)) ((((((triple2) -> (rule5 % int3))) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((triple2) -> (rule5 % int4))) -> (rule6 % int3)) ((((((triple2) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
((((triple3 ((triple3) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
((((((triple1) -> (rule6 % int4)) ((((triple1) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((((triple2) -> (rule5 % int5))) -> (rule6 % int4)) ((((triple1) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((((triple1) -> (rule6 % int5)) ((((((triple2) -> (rule5 % int4))) -> (rule6 % int5))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((triple2) -> (rule5 % int5))) -> (rule6 % int4)) ((((((triple2) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
((((((triple3 ((triple3) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple3) -> (rule7 % int4))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
((((((((triple1) -> (rule6 % int5)) ((((triple1) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple1) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((triple1) -> (rule6 % int6)) ((((triple1) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((((((triple2) -> (rule5 % int2))) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
((((((((((triple2) -> (rule5 % int6))) -> (rule6 % int5)) ((((triple1) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple1) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((((((triple2) -> (rule5 % int6))) -> (rule6 % int5)) ((((triple1) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((((triple2) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((((triple1) -> (rule6 % int6)) ((((((triple2) -> (rule5 % int5))) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple1) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
((((((((triple1) -> (rule6 % int6)) ((((((triple2) -> (rule5 % int5))) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((((triple2) -> (rule5 % int5))) -> (rule6 % int6))) -> (rule7 % int4))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
((((((((((triple2) -> (rule5 % int6))) -> (rule6 % int5)) ((((((triple2) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple1) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((((((triple2) -> (rule5 % int6))) -> (rule6 % int5)) ((((((triple2) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((((triple2) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6