Anne is blue. Anne is cold. Anne is furry. Anne is red. Anne is rough. Anne is white. Anne is young. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is red. Charlie is rough. Charlie is white. Charlie is young. If something is red and young then it is white. Cold things are white. If something is furry then it is young. If something is young and white then it is cold. Cold things are furry. All red, rough things are young. If Charlie is cold then Charlie is young. If something is cold then it is furry.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
If something is red and young then it is white.
((("something" "is" "red" "+") ("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
Cold things are white.
((("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
If something is furry then it is young.
((("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
If something is young and white then it is cold.
((("something" "is" "young" "+") ("something" "is" "white" "+")) -> ("something" "is" "cold" "+"))
Cold things are furry.
((("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
All red, rough things are young.
((("something" "is" "red" "+") ("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
If Charlie is cold then Charlie is young.
((("Charlie" "is" "cold" "+")) -> ("Charlie" "is" "young" "+"))
If something is cold then it is furry.
((("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
Charlie is young.
True
1
proof
[(triple14 OR ((triple10) -> rule3) OR ((triple9) -> rule7) OR ((triple11 triple12) -> rule6) OR ((((triple9) -> rule5)) -> rule3) OR ((((triple9) -> rule8)) -> rule3))]
("Charlie" "is" "young" "+")
triple14
((triple10) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple9) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple11 triple12) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple9) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple9) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Anne is not red.
False
1
inv-proof
[(triple4)]
("Anne" "is" "red" "-")
triple4
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2 OR ((triple7 triple6) -> rule4) OR ((triple7 ((triple4 triple7) -> rule1)) -> rule4) OR ((((triple3) -> rule3) triple6) -> rule4) OR ((((triple4 triple5) -> rule6) triple6) -> rule4) OR ((((triple3) -> rule3) ((triple4 triple7) -> rule1)) -> rule4) OR ((((triple4 triple5) -> rule6) ((triple4 triple7) -> rule1)) -> rule4) OR ((triple7 ((triple4 ((triple3) -> rule3)) -> rule1)) -> rule4) OR ((triple7 ((triple4 ((triple4 triple5) -> rule6)) -> rule1)) -> rule4) OR ((((triple3) -> rule3) ((triple4 ((triple3) -> rule3)) -> rule1)) -> rule4) OR ((((triple3) -> rule3) ((triple4 ((triple4 triple5) -> rule6)) -> rule1)) -> rule4) OR ((((triple4 triple5) -> rule6) ((triple4 ((triple3) -> rule3)) -> rule1)) -> rule4) OR ((((triple4 triple5) -> rule6) ((triple4 ((triple4 triple5) -> rule6)) -> rule1)) -> rule4))] Anne is furry.[(triple3 OR ((triple2) -> rule5) OR ((triple2) -> rule8) OR ((((triple7 triple6) -> rule4)) -> rule5) OR ((((triple7 triple6) -> rule4)) -> rule8) OR ((((triple7 ((triple4 triple7) -> rule1)) -> rule4)) -> rule5) OR ((((triple7 ((triple4 triple7) -> rule1)) -> rule4)) -> rule8) OR ((((((triple4 triple5) -> rule6) triple6) -> rule4)) -> rule5) OR ((((((triple4 triple5) -> rule6) triple6) -> rule4)) -> rule8) OR ((((((triple4 triple5) -> rule6) ((triple4 triple7) -> rule1)) -> rule4)) -> rule5) OR ((((((triple4 triple5) -> rule6) ((triple4 triple7) -> rule1)) -> rule4)) -> rule8) OR ((((triple7 ((triple4 ((triple4 triple5) -> rule6)) -> rule1)) -> rule4)) -> rule5) OR ((((triple7 ((triple4 ((triple4 triple5) -> rule6)) -> rule1)) -> rule4)) -> rule8) OR ((((((triple4 triple5) -> rule6) ((triple4 ((triple4 triple5) -> rule6)) -> rule1)) -> rule4)) -> rule5) OR ((((((triple4 triple5) -> rule6) ((triple4 ((triple4 triple5) -> rule6)) -> rule1)) -> rule4)) -> rule8))] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is white.[(triple6 OR ((triple2) -> rule2) OR ((triple4 triple7) -> rule1) OR ((triple4 ((triple3) -> rule3)) -> rule1) OR ((triple4 ((triple4 triple5) -> rule6)) -> rule1) OR ((triple4 ((((triple2) -> rule5)) -> rule3)) -> rule1) OR ((triple4 ((((triple2) -> rule8)) -> rule3)) -> rule1))] Anne is young.[(triple7 OR ((triple3) -> rule3) OR ((triple4 triple5) -> rule6) OR ((((triple2) -> rule5)) -> rule3) OR ((((triple2) -> rule8)) -> rule3))] Charlie is blue.[(triple8)] Charlie is cold.[(triple9 OR ((triple14 triple13) -> rule4) OR ((triple14 ((triple11 triple14) -> rule1)) -> rule4) OR ((((triple10) -> rule3) triple13) -> rule4) OR ((((triple11 triple12) -> rule6) triple13) -> rule4) OR ((((triple10) -> rule3) ((triple11 triple14) -> rule1)) -> rule4) OR ((((triple11 triple12) -> rule6) ((triple11 triple14) -> rule1)) -> rule4) OR ((triple14 ((triple11 ((triple10) -> rule3)) -> rule1)) -> rule4) OR ((triple14 ((triple11 ((triple11 triple12) -> rule6)) -> rule1)) -> rule4) OR ((((triple10) -> rule3) ((triple11 ((triple10) -> rule3)) -> rule1)) -> rule4) OR ((((triple10) -> rule3) ((triple11 ((triple11 triple12) -> rule6)) -> rule1)) -> rule4) OR ((((triple11 triple12) -> rule6) ((triple11 ((triple10) -> rule3)) -> rule1)) -> rule4) OR ((((triple11 triple12) -> rule6) ((triple11 ((triple11 triple12) -> rule6)) -> rule1)) -> rule4))] Charlie is furry.[(triple10 OR ((triple9) -> rule5) OR ((triple9) -> rule8) OR ((((triple14 triple13) -> rule4)) -> rule5) OR ((((triple14 triple13) -> rule4)) -> rule8) OR ((((triple14 ((triple11 triple14) -> rule1)) -> rule4)) -> rule5) OR ((((triple14 ((triple11 triple14) -> rule1)) -> rule4)) -> rule8) OR ((((((triple11 triple12) -> rule6) triple13) -> rule4)) -> rule5) OR ((((((triple11 triple12) -> rule6) triple13) -> rule4)) -> rule8) OR ((((((triple11 triple12) -> rule6) ((triple11 triple14) -> rule1)) -> rule4)) -> rule5) OR ((((((triple11 triple12) -> rule6) ((triple11 triple14) -> rule1)) -> rule4)) -> rule8) OR ((((triple14 ((triple11 ((triple11 triple12) -> rule6)) -> rule1)) -> rule4)) -> rule5) OR ((((triple14 ((triple11 ((triple11 triple12) -> rule6)) -> rule1)) -> rule4)) -> rule8) OR ((((((triple11 triple12) -> rule6) ((triple11 ((triple11 triple12) -> rule6)) -> rule1)) -> rule4)) -> rule5) OR ((((((triple11 triple12) -> rule6) ((triple11 ((triple11 triple12) -> rule6)) -> rule1)) -> rule4)) -> rule8))] Charlie is red.[(triple11)] Charlie is rough.[(triple12)] Charlie is white.[(triple13 OR ((triple9) -> rule2) OR ((triple11 triple14) -> rule1) OR ((triple11 ((triple10) -> rule3)) -> rule1) OR ((triple11 ((triple9) -> rule7)) -> rule1) OR ((triple11 ((triple11 triple12) -> rule6)) -> rule1) OR ((triple11 ((((triple9) -> rule5)) -> rule3)) -> rule1) OR ((triple11 ((((triple9) -> rule8)) -> rule3)) -> rule1))] Charlie is young.[(triple14 OR ((triple10) -> rule3) OR ((triple9) -> rule7) OR ((triple11 triple12) -> rule6) OR ((((triple9) -> rule5)) -> rule3) OR ((((triple9) -> rule8)) -> rule3))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
((triple7 triple6) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((triple7 ((triple4 triple7) -> (rule1 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((triple3) -> (rule3 % int2)) triple6) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((triple4 triple5) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((triple3) -> (rule3 % int3)) ((triple4 triple7) -> (rule1 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((triple4 triple5) -> (rule6 % int3)) ((triple4 triple7) -> (rule1 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((triple7 ((triple4 ((triple3) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((triple7 ((triple4 ((triple4 triple5) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((triple3) -> (rule3 % int3)) ((triple4 ((triple3) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((triple3) -> (rule3 % int3)) ((triple4 ((triple4 triple5) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((triple4 triple5) -> (rule6 % int3)) ((triple4 ((triple3) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((triple4 triple5) -> (rule6 % int3)) ((triple4 ((triple4 triple5) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
triple3
((triple2) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((triple2) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((((triple7 triple6) -> (rule4 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((triple7 triple6) -> (rule4 % int2))) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((triple7 ((triple4 triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((triple7 ((triple4 triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((((triple4 triple5) -> (rule6 % int3)) triple6) -> (rule4 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((((triple4 triple5) -> (rule6 % int3)) triple6) -> (rule4 % int2))) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((((triple4 triple5) -> (rule6 % int4)) ((triple4 triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((triple4 triple5) -> (rule6 % int4)) ((triple4 triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((triple7 ((triple4 ((triple4 triple5) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((triple7 ((triple4 ((triple4 triple5) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((triple4 triple5) -> (rule6 % int4)) ((triple4 ((triple4 triple5) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((triple4 triple5) -> (rule6 % int4)) ((triple4 ((triple4 triple5) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple6
((triple2) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((triple4 triple7) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((triple4 ((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((triple4 ((triple4 triple5) -> (rule6 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((triple4 ((((triple2) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((triple4 ((((triple2) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
triple7
((triple3) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((triple4 triple5) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((((triple2) -> (rule5 % int2))) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple2) -> (rule8 % int2))) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple8
Charlie is cold.
("Charlie" "is" "cold" "+")
triple9
((triple14 triple13) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((triple14 ((triple11 triple14) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((triple10) -> (rule3 % int2)) triple13) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple11 triple12) -> (rule6 % int2)) triple13) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple10) -> (rule3 % int3)) ((triple11 triple14) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((triple11 triple12) -> (rule6 % int3)) ((triple11 triple14) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((triple14 ((triple11 ((triple10) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((triple14 ((triple11 ((triple11 triple12) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((triple10) -> (rule3 % int3)) ((triple11 ((triple10) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((triple10) -> (rule3 % int3)) ((triple11 ((triple11 triple12) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((triple11 triple12) -> (rule6 % int3)) ((triple11 ((triple10) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((triple11 triple12) -> (rule6 % int3)) ((triple11 ((triple11 triple12) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
triple10
((triple9) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((triple9) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((((triple14 triple13) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((triple14 triple13) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((triple14 ((triple11 triple14) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((triple14 ((triple11 triple14) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((triple11 triple12) -> (rule6 % int3)) triple13) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((((triple11 triple12) -> (rule6 % int3)) triple13) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((((triple11 triple12) -> (rule6 % int4)) ((triple11 triple14) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple11 triple12) -> (rule6 % int4)) ((triple11 triple14) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple14 ((triple11 ((triple11 triple12) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple14 ((triple11 ((triple11 triple12) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple11 triple12) -> (rule6 % int4)) ((triple11 ((triple11 triple12) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple11 triple12) -> (rule6 % int4)) ((triple11 ((triple11 triple12) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
triple11
Charlie is rough.
("Charlie" "is" "rough" "+")
triple12
Charlie is white.
("Charlie" "is" "white" "+")
triple13
((triple9) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((triple11 triple14) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((triple11 ((triple10) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((triple11 ((triple9) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((triple11 ((triple11 triple12) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((triple11 ((((triple9) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((triple11 ((((triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
triple14
((triple10) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple9) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple11 triple12) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple9) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple9) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2