Charlie is big. Charlie is blue. Charlie is kind. Dave is big. Dave is blue. Dave is furry. Erin is blue. Erin is cold. Erin is furry. Harry is blue. Blue things are cold. Red, furry things are blue. Red, cold things are big. All kind things are big. All cold, blue things are furry. If Harry is blue and Harry is big then Harry is quiet. All quiet, big things are blue. If Erin is furry and Erin is blue then Erin is big. Cold, furry things are red.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Blue things are cold.
((("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
Red, furry things are blue.
((("something" "is" "red" "+") ("something" "is" "furry" "+")) -> ("something" "is" "blue" "+"))
Red, cold things are big.
((("something" "is" "red" "+") ("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
All kind things are big.
((("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
All cold, blue things are furry.
((("something" "is" "cold" "+") ("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
If Harry is blue and Harry is big then Harry is quiet.
((("Harry" "is" "blue" "+") ("Harry" "is" "big" "+")) -> ("Harry" "is" "quiet" "+"))
All quiet, big things are blue.
((("something" "is" "quiet" "+") ("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
If Erin is furry and Erin is blue then Erin is big.
((("Erin" "is" "furry" "+") ("Erin" "is" "blue" "+")) -> ("Erin" "is" "big" "+"))
Cold, furry things are red.
((("something" "is" "cold" "+") ("something" "is" "furry" "+")) -> ("something" "is" "red" "+"))
Dave is big.
True
1
proof
[(triple4 OR ((((((triple5) -> rule1) triple6) -> rule9) ((triple5) -> rule1)) -> rule3) OR ((((((triple5) -> rule1) ((((triple5) -> rule1) triple5) -> rule5)) -> rule9) ((triple5) -> rule1)) -> rule3))]
("Dave" "is" "big" "+")
triple4
((((((triple5) -> (rule1 % int3)) triple6) -> (rule9 % int2)) ((triple5) -> (rule1 % int3))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((((triple5) -> (rule1 % int4)) ((((triple5) -> (rule1 % int4)) triple5) -> (rule5 % int3))) -> (rule9 % int2)) ((triple5) -> (rule1 % int4))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Charlie is not blue.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "blue" "-")
triple2
Erin is red.
True
3
proof
[(((triple8 triple9) -> rule9) OR ((triple8 ((triple8 triple7) -> rule5)) -> rule9) OR ((((triple7) -> rule1) triple9) -> rule9) OR ((((triple7) -> rule1) ((triple8 triple7) -> rule5)) -> rule9) OR ((triple8 ((((triple7) -> rule1) triple7) -> rule5)) -> rule9) OR ((((triple7) -> rule1) ((((triple7) -> rule1) triple7) -> rule5)) -> rule9))]
("Erin" "is" "red" "+")
((triple8 triple9) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((triple8 ((triple8 triple7) -> (rule5 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple7) -> (rule1 % int2)) triple9) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple7) -> (rule1 % int3)) ((triple8 triple7) -> (rule5 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((triple8 ((((triple7) -> (rule1 % int3)) triple7) -> (rule5 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((triple7) -> (rule1 % int3)) ((((triple7) -> (rule1 % int3)) triple7) -> (rule5 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is not red.
False
3
inv-proof
[(((triple8 triple9) -> rule9) OR ((triple8 ((triple8 triple7) -> rule5)) -> rule9) OR ((((triple7) -> rule1) triple9) -> rule9) OR ((((triple7) -> rule1) ((triple8 triple7) -> rule5)) -> rule9) OR ((triple8 ((((triple7) -> rule1) triple7) -> rule5)) -> rule9) OR ((((triple7) -> rule1) ((((triple7) -> rule1) triple7) -> rule5)) -> rule9))]
("Erin" "is" "red" "-")
((triple8 triple9) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((triple8 ((triple8 triple7) -> (rule5 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple7) -> (rule1 % int2)) triple9) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple7) -> (rule1 % int3)) ((triple8 triple7) -> (rule5 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((triple8 ((((triple7) -> (rule1 % int3)) triple7) -> (rule5 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((triple7) -> (rule1 % int3)) ((((triple7) -> (rule1 % int3)) triple7) -> (rule5 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Harry is furry.
True
4
proof
[(((((triple10) -> rule1) triple10) -> rule5))]
("Harry" "is" "furry" "+")
((((triple10) -> (rule1 % int2)) triple10) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Dave is not red.
False
4
inv-proof
[(((((triple5) -> rule1) triple6) -> rule9) OR ((((triple5) -> rule1) ((((triple5) -> rule1) triple5) -> rule5)) -> rule9))]
("Dave" "is" "red" "-")
((((triple5) -> (rule1 % int2)) triple6) -> (rule9 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
((((triple5) -> (rule1 % int3)) ((((triple5) -> (rule1 % int3)) triple5) -> (rule5 % int2))) -> (rule9 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Charlie is red.
True
7
proof
[(((((triple2) -> rule1) ((((triple2) -> rule1) triple2) -> rule5)) -> rule9))]
("Charlie" "is" "red" "+")
((((triple2) -> (rule1 % int3)) ((((triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2))) -> (rule9 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is not red.
False
7
inv-proof
[(((((triple2) -> rule1) ((((triple2) -> rule1) triple2) -> rule5)) -> rule9))]
("Charlie" "is" "red" "-")
((((triple2) -> (rule1 % int3)) ((((triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2))) -> (rule9 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Harry is big.
True
10
proof
[(((((((triple10) -> rule1) ((((triple10) -> rule1) triple10) -> rule5)) -> rule9) ((triple10) -> rule1)) -> rule3))]
("Harry" "is" "big" "+")
((((((triple10) -> (rule1 % int4)) ((((triple10) -> (rule1 % int4)) triple10) -> (rule5 % int3))) -> (rule9 % int2)) ((triple10) -> (rule1 % int4))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is not big.
False
10
inv-proof
[(((((((triple10) -> rule1) ((((triple10) -> rule1) triple10) -> rule5)) -> rule9) ((triple10) -> rule1)) -> rule3))]
("Harry" "is" "big" "-")
((((((triple10) -> (rule1 % int4)) ((((triple10) -> (rule1 % int4)) triple10) -> (rule5 % int3))) -> (rule9 % int2)) ((triple10) -> (rule1 % int4))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is quiet.
True
12
proof
[(((triple10 ((((((triple10) -> rule1) ((((triple10) -> rule1) triple10) -> rule5)) -> rule9) ((triple10) -> rule1)) -> rule3)) -> rule6))]
("Harry" "is" "quiet" "+")
((triple10 ((((((triple10) -> (rule1 % int5)) ((((triple10) -> (rule1 % int5)) triple10) -> (rule5 % int4))) -> (rule9 % int3)) ((triple10) -> (rule1 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is not quiet.
False
12
inv-proof
[(((triple10 ((((((triple10) -> rule1) ((((triple10) -> rule1) triple10) -> rule5)) -> rule9) ((triple10) -> rule1)) -> rule3)) -> rule6))]
("Harry" "is" "quiet" "-")
((triple10 ((((((triple10) -> (rule1 % int5)) ((((triple10) -> (rule1 % int5)) triple10) -> (rule5 % int4))) -> (rule9 % int3)) ((triple10) -> (rule1 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Charlie is not quiet.
Unknown
inv-random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Dave is not quiet.
Unknown
inv-random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Charlie is big.[(triple1 OR ((triple3) -> rule4) OR ((((((triple2) -> rule1) ((((triple2) -> rule1) triple2) -> rule5)) -> rule9) ((triple2) -> rule1)) -> rule3))] Charlie is blue.[(triple2)] Charlie is kind.[(triple3)] Dave is big.[(triple4 OR ((((((triple5) -> rule1) triple6) -> rule9) ((triple5) -> rule1)) -> rule3) OR ((((((triple5) -> rule1) ((((triple5) -> rule1) triple5) -> rule5)) -> rule9) ((triple5) -> rule1)) -> rule3))] Dave is blue.[(triple5)] Dave is furry.[(triple6 OR ((((triple5) -> rule1) triple5) -> rule5))] Erin is blue.[(triple7 OR ((((triple8 triple9) -> rule9) triple9) -> rule2))] Erin is cold.[(triple8 OR ((triple7) -> rule1))] Erin is furry.[(triple9 OR ((triple8 triple7) -> rule5) OR ((((triple7) -> rule1) triple7) -> rule5))] Harry is blue.[(triple10)] @1: Charlie is cold.[(((triple2) -> rule1))] Dave is cold.[(((triple5) -> rule1))] Erin is big.[(((triple9 triple7) -> rule8) OR ((((triple8 triple7) -> rule5) triple7) -> rule8) OR ((((triple8 triple9) -> rule9) triple8) -> rule3) OR ((((triple8 triple9) -> rule9) ((triple7) -> rule1)) -> rule3) OR ((triple9 ((((triple8 triple9) -> rule9) triple9) -> rule2)) -> rule8) OR ((((triple8 ((triple8 triple7) -> rule5)) -> rule9) triple8) -> rule3) OR ((((((triple7) -> rule1) triple7) -> rule5) triple7) -> rule8) OR ((((((triple7) -> rule1) triple9) -> rule9) triple8) -> rule3) OR ((((triple8 triple7) -> rule5) ((((triple8 triple9) -> rule9) triple9) -> rule2)) -> rule8) OR ((((triple8 ((triple8 triple7) -> rule5)) -> rule9) ((triple7) -> rule1)) -> rule3) OR ((((((triple7) -> rule1) triple9) -> rule9) ((triple7) -> rule1)) -> rule3) OR ((((((triple7) -> rule1) ((triple8 triple7) -> rule5)) -> rule9) triple8) -> rule3) OR ((((((triple7) -> rule1) triple7) -> rule5) ((((triple8 triple9) -> rule9) triple9) -> rule2)) -> rule8) OR ((((((triple7) -> rule1) ((triple8 triple7) -> rule5)) -> rule9) ((triple7) -> rule1)) -> rule3) OR ((((triple8 ((((triple7) -> rule1) triple7) -> rule5)) -> rule9) triple8) -> rule3) OR ((((triple8 ((((triple7) -> rule1) triple7) -> rule5)) -> rule9) ((triple7) -> rule1)) -> rule3) OR ((((((triple7) -> rule1) ((((triple7) -> rule1) triple7) -> rule5)) -> rule9) triple8) -> rule3) OR ((((((triple7) -> rule1) ((((triple7) -> rule1) triple7) -> rule5)) -> rule9) ((triple7) -> rule1)) -> rule3))] Erin is red.[(((triple8 triple9) -> rule9) OR ((triple8 ((triple8 triple7) -> rule5)) -> rule9) OR ((((triple7) -> rule1) triple9) -> rule9) OR ((((triple7) -> rule1) ((triple8 triple7) -> rule5)) -> rule9) OR ((triple8 ((((triple7) -> rule1) triple7) -> rule5)) -> rule9) OR ((((triple7) -> rule1) ((((triple7) -> rule1) triple7) -> rule5)) -> rule9))] Harry is cold.[(((triple10) -> rule1))] @2: Charlie is furry.[(((((triple2) -> rule1) triple2) -> rule5))] Dave is red.[(((((triple5) -> rule1) triple6) -> rule9) OR ((((triple5) -> rule1) ((((triple5) -> rule1) triple5) -> rule5)) -> rule9))] Harry is furry.[(((((triple10) -> rule1) triple10) -> rule5))] @3: Charlie is red.[(((((triple2) -> rule1) ((((triple2) -> rule1) triple2) -> rule5)) -> rule9))] Harry is red.[(((((triple10) -> rule1) ((((triple10) -> rule1) triple10) -> rule5)) -> rule9))] @4: Harry is big.[(((((((triple10) -> rule1) ((((triple10) -> rule1) triple10) -> rule5)) -> rule9) ((triple10) -> rule1)) -> rule3))] @5: Harry is quiet.[(((triple10 ((((((triple10) -> rule1) ((((triple10) -> rule1) triple10) -> rule5)) -> rule9) ((triple10) -> rule1)) -> rule3)) -> rule6))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
((triple3) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((((triple2) -> (rule1 % int4)) ((((triple2) -> (rule1 % int4)) triple2) -> (rule5 % int3))) -> (rule9 % int2)) ((triple2) -> (rule1 % int4))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple4
((((((triple5) -> (rule1 % int3)) triple6) -> (rule9 % int2)) ((triple5) -> (rule1 % int3))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((((triple5) -> (rule1 % int4)) ((((triple5) -> (rule1 % int4)) triple5) -> (rule5 % int3))) -> (rule9 % int2)) ((triple5) -> (rule1 % int4))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is furry.
("Dave" "is" "furry" "+")
triple6
((((triple5) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
triple7
((((triple8 triple9) -> (rule9 % int2)) triple9) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
triple8
((triple7) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple9
((triple8 triple7) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple7) -> (rule1 % int2)) triple7) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple2) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple5) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
((triple9 triple7) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((triple8 triple7) -> (rule5 % int2)) triple7) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple8 triple9) -> (rule9 % int2)) triple8) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple8 triple9) -> (rule9 % int3)) ((triple7) -> (rule1 % int2))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((triple9 ((((triple8 triple9) -> (rule9 % int3)) triple9) -> (rule2 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple8 ((triple8 triple7) -> (rule5 % int3))) -> (rule9 % int2)) triple8) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple7) -> (rule1 % int3)) triple7) -> (rule5 % int2)) triple7) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple7) -> (rule1 % int3)) triple9) -> (rule9 % int2)) triple8) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((triple8 triple7) -> (rule5 % int4)) ((((triple8 triple9) -> (rule9 % int3)) triple9) -> (rule2 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple8 ((triple8 triple7) -> (rule5 % int4))) -> (rule9 % int3)) ((triple7) -> (rule1 % int2))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple7) -> (rule1 % int3)) triple9) -> (rule9 % int2)) ((triple7) -> (rule1 % int3))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple7) -> (rule1 % int4)) ((triple8 triple7) -> (rule5 % int3))) -> (rule9 % int2)) triple8) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((triple7) -> (rule1 % int5)) triple7) -> (rule5 % int4)) ((((triple8 triple9) -> (rule9 % int3)) triple9) -> (rule2 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
((((((triple7) -> (rule1 % int4)) ((triple8 triple7) -> (rule5 % int3))) -> (rule9 % int2)) ((triple7) -> (rule1 % int4))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((triple8 ((((triple7) -> (rule1 % int4)) triple7) -> (rule5 % int3))) -> (rule9 % int2)) triple8) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((triple8 ((((triple7) -> (rule1 % int4)) triple7) -> (rule5 % int3))) -> (rule9 % int2)) ((triple7) -> (rule1 % int4))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((triple7) -> (rule1 % int4)) ((((triple7) -> (rule1 % int4)) triple7) -> (rule5 % int3))) -> (rule9 % int2)) triple8) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((triple7) -> (rule1 % int4)) ((((triple7) -> (rule1 % int4)) triple7) -> (rule5 % int3))) -> (rule9 % int2)) ((triple7) -> (rule1 % int4))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
((triple8 triple9) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((triple8 ((triple8 triple7) -> (rule5 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple7) -> (rule1 % int2)) triple9) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple7) -> (rule1 % int3)) ((triple8 triple7) -> (rule5 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((triple8 ((((triple7) -> (rule1 % int3)) triple7) -> (rule5 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((triple7) -> (rule1 % int3)) ((((triple7) -> (rule1 % int3)) triple7) -> (rule5 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
((triple10) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
((((triple2) -> (rule1 % int2)) triple2) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((((triple5) -> (rule1 % int2)) triple6) -> (rule9 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
((((triple5) -> (rule1 % int3)) ((((triple5) -> (rule1 % int3)) triple5) -> (rule5 % int2))) -> (rule9 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
((((triple10) -> (rule1 % int2)) triple10) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
((((triple2) -> (rule1 % int3)) ((((triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2))) -> (rule9 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
((((triple10) -> (rule1 % int3)) ((((triple10) -> (rule1 % int3)) triple10) -> (rule5 % int2))) -> (rule9 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
((((((triple10) -> (rule1 % int4)) ((((triple10) -> (rule1 % int4)) triple10) -> (rule5 % int3))) -> (rule9 % int2)) ((triple10) -> (rule1 % int4))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple10 ((((((triple10) -> (rule1 % int5)) ((((triple10) -> (rule1 % int5)) triple10) -> (rule5 % int4))) -> (rule9 % int3)) ((triple10) -> (rule1 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5