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