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