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