The cat is blue. The cat is green. The cat is red. The cat is rough. The cat is young. If someone is young then they are red. Young, blue people are rough. If someone is rough and green then they are young. If someone is red and green then they are rough. Green people are blue. All red, rough people are green. All red, blue people are young. Young, red people are blue.
The cat is blue.
("cat" "is" "blue" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is young.
("cat" "is" "young" "+")
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
Young, blue people are rough.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and green then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is red and green then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Green people are blue.
((("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
All red, rough people are green.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
All red, blue people are young.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Young, red people are blue.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
The cat is rough.
True
1
proof
[(triple4 OR ((triple3 triple2) -> rule4) OR ((triple5 triple1) -> rule2) OR ((triple5 ((triple2) -> rule5)) -> rule2) OR ((triple5 ((triple5 triple3) -> rule8)) -> rule2) OR ((((triple5) -> rule1) triple2) -> rule4) OR ((((triple3 triple1) -> rule7) triple1) -> rule2) OR ((((triple3 triple1) -> rule7) ((triple2) -> rule5)) -> rule2) OR ((((triple3 triple1) -> rule7) ((triple5 triple3) -> rule8)) -> rule2) OR ((triple5 ((triple5 ((triple5) -> rule1)) -> rule8)) -> rule2) OR ((((triple3 ((triple2) -> rule5)) -> rule7) triple1) -> rule2) OR ((((triple3 triple1) -> rule7) ((triple5 ((triple5) -> rule1)) -> rule8)) -> rule2) OR ((((triple3 ((triple2) -> rule5)) -> rule7) ((triple2) -> rule5)) -> rule2) OR ((((triple3 ((triple2) -> rule5)) -> rule7) ((triple5 triple3) -> rule8)) -> rule2) OR ((((triple3 ((triple2) -> rule5)) -> rule7) ((triple5 ((triple5) -> rule1)) -> rule8)) -> rule2))]
("cat" "is" "rough" "+")
triple4
((triple3 triple2) -> (rule4 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
((triple5 triple1) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
((triple5 ((triple2) -> (rule5 % int2))) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
((triple5 ((triple5 triple3) -> (rule8 % int2))) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
((((triple5) -> (rule1 % int2)) triple2) -> (rule4 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
((((triple3 triple1) -> (rule7 % int2)) triple1) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
((((triple3 triple1) -> (rule7 % int3)) ((triple2) -> (rule5 % int2))) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
((((triple3 triple1) -> (rule7 % int3)) ((triple5 triple3) -> (rule8 % int2))) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
((triple5 ((triple5 ((triple5) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
((((triple3 ((triple2) -> (rule5 % int3))) -> (rule7 % int2)) triple1) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cat is blue.
("cat" "is" "blue" "+")
int3
((((triple3 triple1) -> (rule7 % int4)) ((triple5 ((triple5) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
The cat is young.
("cat" "is" "young" "+")
int4
((((triple3 ((triple2) -> (rule5 % int3))) -> (rule7 % int2)) ((triple2) -> (rule5 % int3))) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cat is blue.
("cat" "is" "blue" "+")
int3
((((triple3 ((triple2) -> (rule5 % int3))) -> (rule7 % int2)) ((triple5 triple3) -> (rule8 % int3))) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cat is blue.
("cat" "is" "blue" "+")
int3
((((triple3 ((triple2) -> (rule5 % int4))) -> (rule7 % int3)) ((triple5 ((triple5) -> (rule1 % int2))) -> (rule8 % int4))) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The cat is blue.
("cat" "is" "blue" "+")
int4
The cat is not young.
False
1
inv-proof
[(triple5 OR ((triple3 triple1) -> rule7) OR ((triple4 triple2) -> rule3) OR ((triple3 ((triple2) -> rule5)) -> rule7) OR ((triple4 ((triple3 triple4) -> rule6)) -> rule3) OR ((((triple3 triple2) -> rule4) triple2) -> rule3) OR ((((triple3 triple2) -> rule4) ((triple3 triple4) -> rule6)) -> rule3) OR ((triple3 ((((triple3 triple4) -> rule6)) -> rule5)) -> rule7))]
("cat" "is" "young" "-")
triple5
((triple3 triple1) -> (rule7 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
((triple4 triple2) -> (rule3 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
((triple3 ((triple2) -> (rule5 % int2))) -> (rule7 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
((triple4 ((triple3 triple4) -> (rule6 % int2))) -> (rule3 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
((((triple3 triple2) -> (rule4 % int2)) triple2) -> (rule3 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
((((triple3 triple2) -> (rule4 % int3)) ((triple3 triple4) -> (rule6 % int2))) -> (rule3 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
((triple3 ((((triple3 triple4) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The cat is green.
("cat" "is" "green" "+")
int3
The cat does not chase the cat.
Unknown
inv-random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
@0: The cat is blue.[(triple1 OR ((triple2) -> rule5) OR ((triple5 triple3) -> rule8) OR ((((triple3 triple4) -> rule6)) -> rule5) OR ((triple5 ((triple5) -> rule1)) -> rule8) OR ((((triple4 triple2) -> rule3) triple3) -> rule8) OR ((((triple4 triple2) -> rule3) ((triple5) -> rule1)) -> rule8) OR ((((((triple5) -> rule1) triple4) -> rule6)) -> rule5) OR ((triple5 ((((triple4 triple2) -> rule3)) -> rule1)) -> rule8) OR ((((triple4 ((triple3 triple4) -> rule6)) -> rule3) triple3) -> rule8) OR ((((((triple3 triple2) -> rule4) triple2) -> rule3) triple3) -> rule8) OR ((((triple4 triple2) -> rule3) ((((triple4 triple2) -> rule3)) -> rule1)) -> rule8) OR ((((triple4 ((triple3 triple4) -> rule6)) -> rule3) ((triple5) -> rule1)) -> rule8) OR ((((((triple3 triple2) -> rule4) triple2) -> rule3) ((triple5) -> rule1)) -> rule8) OR ((((((triple3 triple2) -> rule4) ((triple3 triple4) -> rule6)) -> rule3) triple3) -> rule8) OR ((((triple4 ((triple3 triple4) -> rule6)) -> rule3) ((((triple4 triple2) -> rule3)) -> rule1)) -> rule8) OR ((((((triple3 triple2) -> rule4) triple2) -> rule3) ((((triple4 triple2) -> rule3)) -> rule1)) -> rule8) OR ((((((triple3 triple2) -> rule4) ((triple3 triple4) -> rule6)) -> rule3) ((triple5) -> rule1)) -> rule8) OR ((((((triple3 triple2) -> rule4) ((triple3 triple4) -> rule6)) -> rule3) ((((triple4 triple2) -> rule3)) -> rule1)) -> rule8))] The cat is green.[(triple2 OR ((triple3 triple4) -> rule6) OR ((triple3 ((triple5 triple1) -> rule2)) -> rule6) OR ((((triple5) -> rule1) triple4) -> rule6) OR ((((triple5) -> rule1) ((triple5 triple1) -> rule2)) -> rule6) OR ((triple3 ((triple5 ((triple5 triple3) -> rule8)) -> rule2)) -> rule6) OR ((triple3 ((((triple3 triple1) -> rule7) triple1) -> rule2)) -> rule6) OR ((triple3 ((((triple3 triple1) -> rule7) ((triple5 triple3) -> rule8)) -> rule2)) -> rule6) OR ((((triple5) -> rule1) ((triple5 ((triple5 triple3) -> rule8)) -> rule2)) -> rule6) OR ((((triple5) -> rule1) ((((triple3 triple1) -> rule7) triple1) -> rule2)) -> rule6) OR ((((triple5) -> rule1) ((((triple3 triple1) -> rule7) ((triple5 triple3) -> rule8)) -> rule2)) -> rule6) OR ((triple3 ((triple5 ((triple5 ((triple5) -> rule1)) -> rule8)) -> rule2)) -> rule6) OR ((triple3 ((((triple3 triple1) -> rule7) ((triple5 ((triple5) -> rule1)) -> rule8)) -> rule2)) -> rule6) OR ((((triple5) -> rule1) ((triple5 ((triple5 ((triple5) -> rule1)) -> rule8)) -> rule2)) -> rule6) OR ((((triple5) -> rule1) ((((triple3 triple1) -> rule7) ((triple5 ((triple5) -> rule1)) -> rule8)) -> rule2)) -> rule6))] The cat is red.[(triple3 OR ((triple5) -> rule1) OR ((((triple4 triple2) -> rule3)) -> rule1))] The cat is rough.[(triple4 OR ((triple3 triple2) -> rule4) OR ((triple5 triple1) -> rule2) OR ((triple5 ((triple2) -> rule5)) -> rule2) OR ((triple5 ((triple5 triple3) -> rule8)) -> rule2) OR ((((triple5) -> rule1) triple2) -> rule4) OR ((((triple3 triple1) -> rule7) triple1) -> rule2) OR ((((triple3 triple1) -> rule7) ((triple2) -> rule5)) -> rule2) OR ((((triple3 triple1) -> rule7) ((triple5 triple3) -> rule8)) -> rule2) OR ((triple5 ((triple5 ((triple5) -> rule1)) -> rule8)) -> rule2) OR ((((triple3 ((triple2) -> rule5)) -> rule7) triple1) -> rule2) OR ((((triple3 triple1) -> rule7) ((triple5 ((triple5) -> rule1)) -> rule8)) -> rule2) OR ((((triple3 ((triple2) -> rule5)) -> rule7) ((triple2) -> rule5)) -> rule2) OR ((((triple3 ((triple2) -> rule5)) -> rule7) ((triple5 triple3) -> rule8)) -> rule2) OR ((((triple3 ((triple2) -> rule5)) -> rule7) ((triple5 ((triple5) -> rule1)) -> rule8)) -> rule2))] The cat is young.[(triple5 OR ((triple3 triple1) -> rule7) OR ((triple4 triple2) -> rule3) OR ((triple3 ((triple2) -> rule5)) -> rule7) OR ((triple4 ((triple3 triple4) -> rule6)) -> rule3) OR ((((triple3 triple2) -> rule4) triple2) -> rule3) OR ((((triple3 triple2) -> rule4) ((triple3 triple4) -> rule6)) -> rule3) OR ((triple3 ((((triple3 triple4) -> rule6)) -> rule5)) -> rule7))]
The cat is blue.
("cat" "is" "blue" "+")
triple1
((triple2) -> (rule5 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
((triple5 triple3) -> (rule8 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
((((triple3 triple4) -> (rule6 % int2))) -> (rule5 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
((triple5 ((triple5) -> (rule1 % int2))) -> (rule8 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
((((triple4 triple2) -> (rule3 % int2)) triple3) -> (rule8 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
((((triple4 triple2) -> (rule3 % int3)) ((triple5) -> (rule1 % int2))) -> (rule8 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
((((((triple5) -> (rule1 % int3)) triple4) -> (rule6 % int2))) -> (rule5 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
((triple5 ((((triple4 triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
((((triple4 ((triple3 triple4) -> (rule6 % int3))) -> (rule3 % int2)) triple3) -> (rule8 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cat is green.
("cat" "is" "green" "+")
int3
((((((triple3 triple2) -> (rule4 % int3)) triple2) -> (rule3 % int2)) triple3) -> (rule8 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
((((triple4 triple2) -> (rule3 % int3)) ((((triple4 triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
((((triple4 ((triple3 triple4) -> (rule6 % int4))) -> (rule3 % int3)) ((triple5) -> (rule1 % int2))) -> (rule8 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The cat is green.
("cat" "is" "green" "+")
int4
((((((triple3 triple2) -> (rule4 % int4)) triple2) -> (rule3 % int3)) ((triple5) -> (rule1 % int2))) -> (rule8 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The cat is rough.
("cat" "is" "rough" "+")
int4
((((((triple3 triple2) -> (rule4 % int4)) ((triple3 triple4) -> (rule6 % int3))) -> (rule3 % int2)) triple3) -> (rule8 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cat is green.
("cat" "is" "green" "+")
int3
The cat is rough.
("cat" "is" "rough" "+")
int4
((((triple4 ((triple3 triple4) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple4 triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The cat is green.
("cat" "is" "green" "+")
int4
((((((triple3 triple2) -> (rule4 % int4)) triple2) -> (rule3 % int3)) ((((triple4 triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The cat is rough.
("cat" "is" "rough" "+")
int4
((((((triple3 triple2) -> (rule4 % int5)) ((triple3 triple4) -> (rule6 % int4))) -> (rule3 % int3)) ((triple5) -> (rule1 % int2))) -> (rule8 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The cat is green.
("cat" "is" "green" "+")
int4
The cat is rough.
("cat" "is" "rough" "+")
int5
((((((triple3 triple2) -> (rule4 % int5)) ((triple3 triple4) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple4 triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The cat is green.
("cat" "is" "green" "+")
int4
The cat is rough.
("cat" "is" "rough" "+")
int5
The cat is green.
("cat" "is" "green" "+")
triple2
((triple3 triple4) -> (rule6 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
((triple3 ((triple5 triple1) -> (rule2 % int2))) -> (rule6 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
((((triple5) -> (rule1 % int2)) triple4) -> (rule6 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
((((triple5) -> (rule1 % int3)) ((triple5 triple1) -> (rule2 % int2))) -> (rule6 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
((triple3 ((triple5 ((triple5 triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is blue.
("cat" "is" "blue" "+")
int3
((triple3 ((((triple3 triple1) -> (rule7 % int3)) triple1) -> (rule2 % int2))) -> (rule6 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
((triple3 ((((triple3 triple1) -> (rule7 % int4)) ((triple5 triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is blue.
("cat" "is" "blue" "+")
int3
The cat is young.
("cat" "is" "young" "+")
int4
((((triple5) -> (rule1 % int4)) ((triple5 ((triple5 triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is blue.
("cat" "is" "blue" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
((((triple5) -> (rule1 % int4)) ((((triple3 triple1) -> (rule7 % int3)) triple1) -> (rule2 % int2))) -> (rule6 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
((((triple5) -> (rule1 % int5)) ((((triple3 triple1) -> (rule7 % int4)) ((triple5 triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is blue.
("cat" "is" "blue" "+")
int3
The cat is young.
("cat" "is" "young" "+")
int4
The cat is red.
("cat" "is" "red" "+")
int5
((triple3 ((triple5 ((triple5 ((triple5) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is blue.
("cat" "is" "blue" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
((triple3 ((((triple3 triple1) -> (rule7 % int5)) ((triple5 ((triple5) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is blue.
("cat" "is" "blue" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
The cat is young.
("cat" "is" "young" "+")
int5
((((triple5) -> (rule1 % int4)) ((triple5 ((triple5 ((triple5) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is blue.
("cat" "is" "blue" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
((((triple5) -> (rule1 % int5)) ((((triple3 triple1) -> (rule7 % int4)) ((triple5 ((triple5) -> (rule1 % int5))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is blue.
("cat" "is" "blue" "+")
int3
The cat is young.
("cat" "is" "young" "+")
int4
The cat is red.
("cat" "is" "red" "+")
int5
The cat is red.
("cat" "is" "red" "+")
triple3
((triple5) -> (rule1 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
((((triple4 triple2) -> (rule3 % int2))) -> (rule1 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
triple4
((triple3 triple2) -> (rule4 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
((triple5 triple1) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
((triple5 ((triple2) -> (rule5 % int2))) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
((triple5 ((triple5 triple3) -> (rule8 % int2))) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
((((triple5) -> (rule1 % int2)) triple2) -> (rule4 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
((((triple3 triple1) -> (rule7 % int2)) triple1) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
((((triple3 triple1) -> (rule7 % int3)) ((triple2) -> (rule5 % int2))) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
((((triple3 triple1) -> (rule7 % int3)) ((triple5 triple3) -> (rule8 % int2))) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
((triple5 ((triple5 ((triple5) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
((((triple3 ((triple2) -> (rule5 % int3))) -> (rule7 % int2)) triple1) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cat is blue.
("cat" "is" "blue" "+")
int3
((((triple3 triple1) -> (rule7 % int4)) ((triple5 ((triple5) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
The cat is young.
("cat" "is" "young" "+")
int4
((((triple3 ((triple2) -> (rule5 % int3))) -> (rule7 % int2)) ((triple2) -> (rule5 % int3))) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cat is blue.
("cat" "is" "blue" "+")
int3
((((triple3 ((triple2) -> (rule5 % int3))) -> (rule7 % int2)) ((triple5 triple3) -> (rule8 % int3))) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cat is blue.
("cat" "is" "blue" "+")
int3
((((triple3 ((triple2) -> (rule5 % int4))) -> (rule7 % int3)) ((triple5 ((triple5) -> (rule1 % int2))) -> (rule8 % int4))) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The cat is blue.
("cat" "is" "blue" "+")
int4
The cat is young.
("cat" "is" "young" "+")
triple5
((triple3 triple1) -> (rule7 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
((triple4 triple2) -> (rule3 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
((triple3 ((triple2) -> (rule5 % int2))) -> (rule7 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
((triple4 ((triple3 triple4) -> (rule6 % int2))) -> (rule3 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
((((triple3 triple2) -> (rule4 % int2)) triple2) -> (rule3 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
((((triple3 triple2) -> (rule4 % int3)) ((triple3 triple4) -> (rule6 % int2))) -> (rule3 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
((triple3 ((((triple3 triple4) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The cat is green.
("cat" "is" "green" "+")
int3