Dave is cold. Dave is furry. Dave is young. Erin is young. Gary is cold. Gary is quiet. Gary is young. Harry is big. Harry is furry. Harry is quiet. Harry is smart. Harry is young. All furry people are cold. Quiet people are cold. All cold, smart people are big. Quiet people are cold. All quiet, big people are furry. If someone is smart then they are quiet. If Erin is young then Erin is quiet. If Gary is cold then Gary is smart.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
All furry people are cold.
((("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
Quiet people are cold.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
All cold, smart people are big.
((("someone" "is" "cold" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
Quiet people are cold.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
All quiet, big people are furry.
((("someone" "is" "quiet" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
If someone is smart then they are quiet.
((("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "+"))
If Erin is young then Erin is quiet.
((("Erin" "is" "young" "+")) -> ("Erin" "is" "quiet" "+"))
If Gary is cold then Gary is smart.
((("Gary" "is" "cold" "+")) -> ("Gary" "is" "smart" "+"))
Dave is cold.
True
1
proof
[(triple1 OR ((triple2) -> rule1))]
("Dave" "is" "cold" "+")
triple1
((triple2) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Erin is not young.
False
1
inv-proof
[(triple4)]
("Erin" "is" "young" "-")
triple4
Dave is not quiet.
Unknown
inv-rconc
[@1: Dave is quiet.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "quiet" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Dave is cold.[(triple1 OR ((triple2) -> rule1))] Dave is furry.[(triple2)] Dave is young.[(triple3)] Erin is young.[(triple4)] Gary is cold.[(triple5 OR ((triple6) -> rule2) OR ((triple6) -> rule4))] Gary is quiet.[(triple6 OR ((((triple5) -> rule8)) -> rule6))] Gary is young.[(triple7)] Harry is big.[(triple8 OR ((((triple10) -> rule2) triple11) -> rule3) OR ((((triple10) -> rule4) triple11) -> rule3) OR ((((triple9) -> rule1) triple11) -> rule3) OR ((((((triple11) -> rule6)) -> rule2) triple11) -> rule3) OR ((((((triple11) -> rule6)) -> rule4) triple11) -> rule3))] Harry is furry.[(triple9 OR ((triple10 triple8) -> rule5) OR ((((triple11) -> rule6) triple8) -> rule5) OR ((triple10 ((((triple10) -> rule2) triple11) -> rule3)) -> rule5) OR ((triple10 ((((triple10) -> rule4) triple11) -> rule3)) -> rule5) OR ((((triple11) -> rule6) ((((triple10) -> rule2) triple11) -> rule3)) -> rule5) OR ((((triple11) -> rule6) ((((triple10) -> rule4) triple11) -> rule3)) -> rule5) OR ((triple10 ((((((triple11) -> rule6)) -> rule2) triple11) -> rule3)) -> rule5) OR ((triple10 ((((((triple11) -> rule6)) -> rule4) triple11) -> rule3)) -> rule5) OR ((((triple11) -> rule6) ((((((triple11) -> rule6)) -> rule2) triple11) -> rule3)) -> rule5) OR ((((triple11) -> rule6) ((((((triple11) -> rule6)) -> rule4) triple11) -> rule3)) -> rule5))] Harry is quiet.[(triple10 OR ((triple11) -> rule6))] Harry is smart.[(triple11)] Harry is young.[(triple12)] @1: Erin is quiet.[(((triple4) -> rule7))] Gary is smart.[(((triple5) -> rule8) OR ((((triple6) -> rule2)) -> rule8) OR ((((triple6) -> rule4)) -> rule8))] Harry is cold.[(((triple10) -> rule2) OR ((triple10) -> rule4) OR ((triple9) -> rule1) OR ((((triple11) -> rule6)) -> rule2) OR ((((triple11) -> rule6)) -> rule4) OR ((((triple10 triple8) -> rule5)) -> rule1) OR ((((((triple11) -> rule6) triple8) -> rule5)) -> rule1))] @2: Erin is cold.[(((((triple4) -> rule7)) -> rule2) OR ((((triple4) -> rule7)) -> rule4))] Gary is big.[(((triple5 ((triple5) -> rule8)) -> rule3) OR ((((triple6) -> rule2) ((triple5) -> rule8)) -> rule3) OR ((((triple6) -> rule4) ((triple5) -> rule8)) -> rule3) OR ((triple5 ((((triple6) -> rule2)) -> rule8)) -> rule3) OR ((triple5 ((((triple6) -> rule4)) -> rule8)) -> rule3) OR ((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule8)) -> rule3) OR ((((triple6) -> rule2) ((((triple6) -> rule4)) -> rule8)) -> rule3) OR ((((triple6) -> rule4) ((((triple6) -> rule2)) -> rule8)) -> rule3) OR ((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule8)) -> rule3))] @3: Gary is furry.[(((triple6 ((triple5 ((triple5) -> rule8)) -> rule3)) -> rule5) OR ((triple6 ((((triple6) -> rule2) ((triple5) -> rule8)) -> rule3)) -> rule5) OR ((triple6 ((((triple6) -> rule4) ((triple5) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5) -> rule8)) -> rule6) ((triple5 ((triple5) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5) -> rule8)) -> rule6) ((((triple6) -> rule2) ((triple5) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5) -> rule8)) -> rule6) ((((triple6) -> rule4) ((triple5) -> rule8)) -> rule3)) -> rule5) OR ((triple6 ((triple5 ((((triple6) -> rule2)) -> rule8)) -> rule3)) -> rule5) OR ((triple6 ((triple5 ((((triple6) -> rule4)) -> rule8)) -> rule3)) -> rule5) OR ((triple6 ((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule8)) -> rule3)) -> rule5) OR ((triple6 ((((triple6) -> rule2) ((((triple6) -> rule4)) -> rule8)) -> rule3)) -> rule5) OR ((triple6 ((((triple6) -> rule4) ((((triple6) -> rule2)) -> rule8)) -> rule3)) -> rule5) OR ((triple6 ((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5) -> rule8)) -> rule6) ((triple5 ((((triple6) -> rule2)) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5) -> rule8)) -> rule6) ((triple5 ((((triple6) -> rule4)) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5) -> rule8)) -> rule6) ((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5) -> rule8)) -> rule6) ((((triple6) -> rule2) ((((triple6) -> rule4)) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5) -> rule8)) -> rule6) ((((triple6) -> rule4) ((((triple6) -> rule2)) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5) -> rule8)) -> rule6) ((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule8)) -> rule3)) -> rule5))]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
((triple2) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple5
((triple6) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((triple6) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple6
((((triple5) -> (rule8 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple8
((((triple10) -> (rule2 % int2)) triple11) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple10) -> (rule4 % int2)) triple11) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple9) -> (rule1 % int2)) triple11) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((((triple11) -> (rule6 % int3))) -> (rule2 % int2)) triple11) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((((triple11) -> (rule6 % int3))) -> (rule4 % int2)) triple11) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
triple9
((triple10 triple8) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((triple11) -> (rule6 % int2)) triple8) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((triple10 ((((triple10) -> (rule2 % int3)) triple11) -> (rule3 % int2))) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((triple10 ((((triple10) -> (rule4 % int3)) triple11) -> (rule3 % int2))) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple11) -> (rule6 % int4)) ((((triple10) -> (rule2 % int3)) triple11) -> (rule3 % int2))) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((triple11) -> (rule6 % int4)) ((((triple10) -> (rule4 % int3)) triple11) -> (rule3 % int2))) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((triple10 ((((((triple11) -> (rule6 % int4))) -> (rule2 % int3)) triple11) -> (rule3 % int2))) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((triple10 ((((((triple11) -> (rule6 % int4))) -> (rule4 % int3)) triple11) -> (rule3 % int2))) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((triple11) -> (rule6 % int4)) ((((((triple11) -> (rule6 % int4))) -> (rule2 % int3)) triple11) -> (rule3 % int2))) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((triple11) -> (rule6 % int4)) ((((((triple11) -> (rule6 % int4))) -> (rule4 % int3)) triple11) -> (rule3 % int2))) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
((triple11) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple4) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple5) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((((triple6) -> (rule2 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((triple6) -> (rule4 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((triple10) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple10) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple9) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((((triple11) -> (rule6 % int2))) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((triple11) -> (rule6 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((triple10 triple8) -> (rule5 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((((triple11) -> (rule6 % int3)) triple8) -> (rule5 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
((((triple4) -> (rule7 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple4) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((triple5 ((triple5) -> (rule8 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple6) -> (rule2 % int3)) ((triple5) -> (rule8 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple6) -> (rule4 % int3)) ((triple5) -> (rule8 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((triple5 ((((triple6) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((triple5 ((((triple6) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple6) -> (rule2 % int3)) ((((triple6) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple6) -> (rule2 % int3)) ((((triple6) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple6) -> (rule4 % int3)) ((((triple6) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple6) -> (rule4 % int3)) ((((triple6) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
((triple6 ((triple5 ((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((triple6 ((((triple6) -> (rule2 % int4)) ((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((triple6 ((((triple6) -> (rule4 % int4)) ((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((triple5) -> (rule8 % int4))) -> (rule6 % int3)) ((triple5 ((triple5) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((((triple5) -> (rule8 % int5))) -> (rule6 % int4)) ((((triple6) -> (rule2 % int3)) ((triple5) -> (rule8 % int5))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((((triple5) -> (rule8 % int5))) -> (rule6 % int4)) ((((triple6) -> (rule4 % int3)) ((triple5) -> (rule8 % int5))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((triple6 ((triple5 ((((triple6) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((triple6 ((triple5 ((((triple6) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((triple6 ((((triple6) -> (rule2 % int4)) ((((triple6) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((triple6 ((((triple6) -> (rule2 % int4)) ((((triple6) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((triple6 ((((triple6) -> (rule4 % int4)) ((((triple6) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((triple6 ((((triple6) -> (rule4 % int4)) ((((triple6) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((triple5) -> (rule8 % int5))) -> (rule6 % int4)) ((triple5 ((((triple6) -> (rule2 % int3))) -> (rule8 % int5))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((((triple5) -> (rule8 % int5))) -> (rule6 % int4)) ((triple5 ((((triple6) -> (rule4 % int3))) -> (rule8 % int5))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((((triple5) -> (rule8 % int5))) -> (rule6 % int4)) ((((triple6) -> (rule2 % int3)) ((((triple6) -> (rule2 % int3))) -> (rule8 % int5))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((((triple5) -> (rule8 % int5))) -> (rule6 % int4)) ((((triple6) -> (rule2 % int3)) ((((triple6) -> (rule4 % int3))) -> (rule8 % int5))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((((triple5) -> (rule8 % int5))) -> (rule6 % int4)) ((((triple6) -> (rule4 % int3)) ((((triple6) -> (rule2 % int3))) -> (rule8 % int5))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((((triple5) -> (rule8 % int5))) -> (rule6 % int4)) ((((triple6) -> (rule4 % int3)) ((((triple6) -> (rule4 % int3))) -> (rule8 % int5))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5