Dave is blue. Dave is furry. Dave is nice. Dave is smart. Erin is blue. Erin is red. Gary is furry. Gary is nice. Gary is quiet. Gary is smart. Harry is blue. Harry is cold. Harry is furry. Harry is smart. Smart things are furry. If Gary is furry then Gary is blue. All quiet, red things are cold. If Gary is blue and Gary is nice then Gary is red. If something is quiet and cold then it is smart. Red things are cold. Smart, cold things are blue. All furry things are nice. If Erin is red and Erin is cold then Erin is quiet.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is red.
("Erin" "is" "red" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Smart things are furry.
((("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
If Gary is furry then Gary is blue.
((("Gary" "is" "furry" "+")) -> ("Gary" "is" "blue" "+"))
All quiet, red things are cold.
((("something" "is" "quiet" "+") ("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
If Gary is blue and Gary is nice then Gary is red.
((("Gary" "is" "blue" "+") ("Gary" "is" "nice" "+")) -> ("Gary" "is" "red" "+"))
If something is quiet and cold then it is smart.
((("something" "is" "quiet" "+") ("something" "is" "cold" "+")) -> ("something" "is" "smart" "+"))
Red things are cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
Smart, cold things are blue.
((("something" "is" "smart" "+") ("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
All furry things are nice.
((("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
If Erin is red and Erin is cold then Erin is quiet.
((("Erin" "is" "red" "+") ("Erin" "is" "cold" "+")) -> ("Erin" "is" "quiet" "+"))
Gary is nice.
True
1
proof
[(triple8 OR ((triple7) -> rule8) OR ((((triple10) -> rule1)) -> rule8))]
("Gary" "is" "nice" "+")
triple8
((triple7) -> (rule8 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((triple10) -> (rule1 % int2))) -> (rule8 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Erin is not blue.
False
1
inv-proof
[(triple5 OR ((((((triple6 ((triple6) -> rule6)) -> rule9) ((triple6) -> rule6)) -> rule5) ((triple6) -> rule6)) -> rule7))]
("Erin" "is" "blue" "-")
triple5
((((((triple6 ((triple6) -> (rule6 % int4))) -> (rule9 % int3)) ((triple6) -> (rule6 % int4))) -> (rule5 % int2)) ((triple6) -> (rule6 % int4))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Gary is blue.
True
2
proof
[(((triple7) -> rule2) OR ((((triple10) -> rule1)) -> rule2))]
("Gary" "is" "blue" "+")
((triple7) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is not blue.
False
2
inv-proof
[(((triple7) -> rule2) OR ((((triple10) -> rule1)) -> rule2))]
("Gary" "is" "blue" "-")
((triple7) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Erin is quiet.
True
4
proof
[(((triple6 ((triple6) -> rule6)) -> rule9))]
("Erin" "is" "quiet" "+")
((triple6 ((triple6) -> (rule6 % int2))) -> (rule9 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is not quiet.
False
4
inv-proof
[(((triple6 ((triple6) -> rule6)) -> rule9))]
("Erin" "is" "quiet" "-")
((triple6 ((triple6) -> (rule6 % int2))) -> (rule9 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Gary is cold.
True
5
proof
[(((((((triple7) -> rule2) triple8) -> rule4)) -> rule6) OR ((triple9 ((((triple7) -> rule2) triple8) -> rule4)) -> rule3) OR ((((((triple7) -> rule2) ((triple7) -> rule8)) -> rule4)) -> rule6) OR ((triple9 ((((triple7) -> rule2) ((triple7) -> rule8)) -> rule4)) -> rule3) OR ((((((((triple10) -> rule1)) -> rule2) triple8) -> rule4)) -> rule6) OR ((triple9 ((((((triple10) -> rule1)) -> rule2) triple8) -> rule4)) -> rule3) OR ((((((triple7) -> rule2) ((((triple10) -> rule1)) -> rule8)) -> rule4)) -> rule6) OR ((((((((triple10) -> rule1)) -> rule2) ((triple7) -> rule8)) -> rule4)) -> rule6) OR ((triple9 ((((triple7) -> rule2) ((((triple10) -> rule1)) -> rule8)) -> rule4)) -> rule3) OR ((triple9 ((((((triple10) -> rule1)) -> rule2) ((triple7) -> rule8)) -> rule4)) -> rule3) OR ((((((((triple10) -> rule1)) -> rule2) ((((triple10) -> rule1)) -> rule8)) -> rule4)) -> rule6) OR ((triple9 ((((((triple10) -> rule1)) -> rule2) ((((triple10) -> rule1)) -> rule8)) -> rule4)) -> rule3))]
("Gary" "is" "cold" "+")
((((((triple7) -> (rule2 % int3)) triple8) -> (rule4 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((triple9 ((((triple7) -> (rule2 % int3)) triple8) -> (rule4 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((((triple7) -> (rule2 % int4)) ((triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((triple9 ((((triple7) -> (rule2 % int4)) ((triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((((((triple10) -> (rule1 % int4))) -> (rule2 % int3)) triple8) -> (rule4 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((triple9 ((((((triple10) -> (rule1 % int4))) -> (rule2 % int3)) triple8) -> (rule4 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple7) -> (rule2 % int5)) ((((triple10) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((((triple10) -> (rule1 % int5))) -> (rule2 % int4)) ((triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((triple9 ((((triple7) -> (rule2 % int5)) ((((triple10) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((triple9 ((((((triple10) -> (rule1 % int5))) -> (rule2 % int4)) ((triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((((triple10) -> (rule1 % int5))) -> (rule2 % int4)) ((((triple10) -> (rule1 % int5))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((triple9 ((((((triple10) -> (rule1 % int5))) -> (rule2 % int4)) ((((triple10) -> (rule1 % int5))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Erin is not smart.
False
7
inv-proof
[(((((triple6 ((triple6) -> rule6)) -> rule9) ((triple6) -> rule6)) -> rule5))]
("Erin" "is" "smart" "-")
((((triple6 ((triple6) -> (rule6 % int3))) -> (rule9 % int2)) ((triple6) -> (rule6 % int3))) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is furry.
True
8
proof
[(((((((triple6 ((triple6) -> rule6)) -> rule9) ((triple6) -> rule6)) -> rule5)) -> rule1))]
("Erin" "is" "furry" "+")
((((((triple6 ((triple6) -> (rule6 % int4))) -> (rule9 % int3)) ((triple6) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is not furry.
False
8
inv-proof
[(((((((triple6 ((triple6) -> rule6)) -> rule9) ((triple6) -> rule6)) -> rule5)) -> rule1))]
("Erin" "is" "furry" "-")
((((((triple6 ((triple6) -> (rule6 % int4))) -> (rule9 % int3)) ((triple6) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is nice.
True
9
proof
[(((((((((triple6 ((triple6) -> rule6)) -> rule9) ((triple6) -> rule6)) -> rule5)) -> rule1)) -> rule8))]
("Erin" "is" "nice" "+")
((((((((triple6 ((triple6) -> (rule6 % int5))) -> (rule9 % int4)) ((triple6) -> (rule6 % int5))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
Erin is not nice.
False
9
inv-proof
[(((((((((triple6 ((triple6) -> rule6)) -> rule9) ((triple6) -> rule6)) -> rule5)) -> rule1)) -> rule8))]
("Erin" "is" "nice" "-")
((((((((triple6 ((triple6) -> (rule6 % int5))) -> (rule9 % int4)) ((triple6) -> (rule6 % int5))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "cold" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2 OR ((triple4) -> rule1))] Dave is nice.[(triple3 OR ((triple2) -> rule8) OR ((((triple4) -> rule1)) -> rule8))] Dave is smart.[(triple4)] Erin is blue.[(triple5 OR ((((((triple6 ((triple6) -> rule6)) -> rule9) ((triple6) -> rule6)) -> rule5) ((triple6) -> rule6)) -> rule7))] Erin is red.[(triple6)] Gary is furry.[(triple7 OR ((triple10) -> rule1))] Gary is nice.[(triple8 OR ((triple7) -> rule8) OR ((((triple10) -> rule1)) -> rule8))] Gary is quiet.[(triple9)] Gary is smart.[(triple10 OR ((triple9 ((((((triple7) -> rule2) triple8) -> rule4)) -> rule6)) -> rule5) OR ((triple9 ((triple9 ((((triple7) -> rule2) triple8) -> rule4)) -> rule3)) -> rule5) OR ((triple9 ((((((triple7) -> rule2) ((triple7) -> rule8)) -> rule4)) -> rule6)) -> rule5) OR ((triple9 ((triple9 ((((triple7) -> rule2) ((triple7) -> rule8)) -> rule4)) -> rule3)) -> rule5))] Harry is blue.[(triple11 OR ((triple14 triple12) -> rule7))] Harry is cold.[(triple12)] Harry is furry.[(triple13 OR ((triple14) -> rule1))] Harry is smart.[(triple14)] @1: Erin is cold.[(((triple6) -> rule6))] Gary is blue.[(((triple7) -> rule2) OR ((((triple10) -> rule1)) -> rule2))] Harry is nice.[(((triple13) -> rule8) OR ((((triple14) -> rule1)) -> rule8))] @2: Erin is quiet.[(((triple6 ((triple6) -> rule6)) -> rule9))] Gary is red.[(((((triple7) -> rule2) triple8) -> rule4) OR ((((triple7) -> rule2) ((triple7) -> rule8)) -> rule4) OR ((((((triple10) -> rule1)) -> rule2) triple8) -> rule4) OR ((((triple7) -> rule2) ((((triple10) -> rule1)) -> rule8)) -> rule4) OR ((((((triple10) -> rule1)) -> rule2) ((triple7) -> rule8)) -> rule4) OR ((((((triple10) -> rule1)) -> rule2) ((((triple10) -> rule1)) -> rule8)) -> rule4))] @3: Erin is smart.[(((((triple6 ((triple6) -> rule6)) -> rule9) ((triple6) -> rule6)) -> rule5))] Gary is cold.[(((((((triple7) -> rule2) triple8) -> rule4)) -> rule6) OR ((triple9 ((((triple7) -> rule2) triple8) -> rule4)) -> rule3) OR ((((((triple7) -> rule2) ((triple7) -> rule8)) -> rule4)) -> rule6) OR ((triple9 ((((triple7) -> rule2) ((triple7) -> rule8)) -> rule4)) -> rule3) OR ((((((((triple10) -> rule1)) -> rule2) triple8) -> rule4)) -> rule6) OR ((triple9 ((((((triple10) -> rule1)) -> rule2) triple8) -> rule4)) -> rule3) OR ((((((triple7) -> rule2) ((((triple10) -> rule1)) -> rule8)) -> rule4)) -> rule6) OR ((((((((triple10) -> rule1)) -> rule2) ((triple7) -> rule8)) -> rule4)) -> rule6) OR ((triple9 ((((triple7) -> rule2) ((((triple10) -> rule1)) -> rule8)) -> rule4)) -> rule3) OR ((triple9 ((((((triple10) -> rule1)) -> rule2) ((triple7) -> rule8)) -> rule4)) -> rule3) OR ((((((((triple10) -> rule1)) -> rule2) ((((triple10) -> rule1)) -> rule8)) -> rule4)) -> rule6) OR ((triple9 ((((((triple10) -> rule1)) -> rule2) ((((triple10) -> rule1)) -> rule8)) -> rule4)) -> rule3))] @4: Erin is furry.[(((((((triple6 ((triple6) -> rule6)) -> rule9) ((triple6) -> rule6)) -> rule5)) -> rule1))] @5: Erin is nice.[(((((((((triple6 ((triple6) -> rule6)) -> rule9) ((triple6) -> rule6)) -> rule5)) -> rule1)) -> rule8))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
((triple4) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
triple3
((triple2) -> (rule8 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((((triple4) -> (rule1 % int2))) -> (rule8 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
triple4
Erin is blue.
("Erin" "is" "blue" "+")
triple5
((((((triple6 ((triple6) -> (rule6 % int4))) -> (rule9 % int3)) ((triple6) -> (rule6 % int4))) -> (rule5 % int2)) ((triple6) -> (rule6 % int4))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
((triple10) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
triple8
((triple7) -> (rule8 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((triple10) -> (rule1 % int2))) -> (rule8 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
Gary is smart.
("Gary" "is" "smart" "+")
triple10
((triple9 ((((((triple7) -> (rule2 % int4)) triple8) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((triple9 ((triple9 ((((triple7) -> (rule2 % int4)) triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((triple9 ((((((triple7) -> (rule2 % int5)) ((triple7) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((triple9 ((triple9 ((((triple7) -> (rule2 % int5)) ((triple7) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
Harry is blue.
("Harry" "is" "blue" "+")
triple11
((triple14 triple12) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is furry.
("Harry" "is" "furry" "+")
triple13
((triple14) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
triple14
Erin is cold.
("Erin" "is" "cold" "+")
((triple6) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple7) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((triple13) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((((triple14) -> (rule1 % int2))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple6 ((triple6) -> (rule6 % int2))) -> (rule9 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((((triple7) -> (rule2 % int2)) triple8) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((((triple7) -> (rule2 % int3)) ((triple7) -> (rule8 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((((triple10) -> (rule1 % int3))) -> (rule2 % int2)) triple8) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((triple7) -> (rule2 % int4)) ((((triple10) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((((triple10) -> (rule1 % int4))) -> (rule2 % int3)) ((triple7) -> (rule8 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple10) -> (rule1 % int4))) -> (rule2 % int3)) ((((triple10) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
((((triple6 ((triple6) -> (rule6 % int3))) -> (rule9 % int2)) ((triple6) -> (rule6 % int3))) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
((((((triple7) -> (rule2 % int3)) triple8) -> (rule4 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((triple9 ((((triple7) -> (rule2 % int3)) triple8) -> (rule4 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((((triple7) -> (rule2 % int4)) ((triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((triple9 ((((triple7) -> (rule2 % int4)) ((triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((((((triple10) -> (rule1 % int4))) -> (rule2 % int3)) triple8) -> (rule4 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((triple9 ((((((triple10) -> (rule1 % int4))) -> (rule2 % int3)) triple8) -> (rule4 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple7) -> (rule2 % int5)) ((((triple10) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((((triple10) -> (rule1 % int5))) -> (rule2 % int4)) ((triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((triple9 ((((triple7) -> (rule2 % int5)) ((((triple10) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((triple9 ((((((triple10) -> (rule1 % int5))) -> (rule2 % int4)) ((triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((((triple10) -> (rule1 % int5))) -> (rule2 % int4)) ((((triple10) -> (rule1 % int5))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((triple9 ((((((triple10) -> (rule1 % int5))) -> (rule2 % int4)) ((((triple10) -> (rule1 % int5))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
((((((triple6 ((triple6) -> (rule6 % int4))) -> (rule9 % int3)) ((triple6) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
((((((((triple6 ((triple6) -> (rule6 % int5))) -> (rule9 % int4)) ((triple6) -> (rule6 % int5))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5