The cat is blue. The cat is nice. The cat is rough. The cat is round. The cat is young. If something is blue and round then it is young. If the cat is rough then the cat is young. If the cat is round and the cat is young then the cat is nice. All round things are nice. If the cat is rough and the cat is young then the cat is nice. Round, young things are rough. If the cat is blue then the cat is round. If the cat is nice then the cat is rough.
The cat is blue.
("cat" "is" "blue" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
The cat is young.
("cat" "is" "young" "+")
If something is blue and round then it is young.
((("something" "is" "blue" "+") ("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
If the cat is rough then the cat is young.
((("cat" "is" "rough" "+")) -> ("cat" "is" "young" "+"))
If the cat is round and the cat is young then the cat is nice.
((("cat" "is" "round" "+") ("cat" "is" "young" "+")) -> ("cat" "is" "nice" "+"))
All round things are nice.
((("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
If the cat is rough and the cat is young then the cat is nice.
((("cat" "is" "rough" "+") ("cat" "is" "young" "+")) -> ("cat" "is" "nice" "+"))
Round, young things are rough.
((("something" "is" "round" "+") ("something" "is" "young" "+")) -> ("something" "is" "rough" "+"))
If the cat is blue then the cat is round.
((("cat" "is" "blue" "+")) -> ("cat" "is" "round" "+"))
If the cat is nice then the cat is rough.
((("cat" "is" "nice" "+")) -> ("cat" "is" "rough" "+"))
The cat is round.
True
1
proof
[(triple4 OR ((triple1) -> rule7))]
("cat" "is" "round" "+")
triple4
((triple1) -> (rule7 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat is not blue.
False
1
inv-proof
[(triple1)]
("cat" "is" "blue" "-")
triple1
The cat does not need the cat.
Unknown
inv-random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
@0: The cat is blue.[(triple1)] The cat is nice.[(triple2 OR ((triple4) -> rule4) OR ((triple3 triple5) -> rule5) OR ((triple4 triple5) -> rule3) OR ((((triple1) -> rule7)) -> rule4) OR ((triple3 ((triple3) -> rule2)) -> rule5) OR ((triple3 ((triple1 triple4) -> rule1)) -> rule5) OR ((triple4 ((triple3) -> rule2)) -> rule3) OR ((triple4 ((triple1 triple4) -> rule1)) -> rule3) OR ((((triple1) -> rule7) triple5) -> rule3) OR ((((triple4 triple5) -> rule6) triple5) -> rule5) OR ((((triple1) -> rule7) ((triple3) -> rule2)) -> rule3) OR ((((triple1) -> rule7) ((triple1 triple4) -> rule1)) -> rule3) OR ((((triple4 triple5) -> rule6) ((triple3) -> rule2)) -> rule5) OR ((((triple4 triple5) -> rule6) ((triple1 triple4) -> rule1)) -> rule5) OR ((triple3 ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule5) OR ((triple4 ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule3) OR ((((triple4 ((triple1 triple4) -> rule1)) -> rule6) triple5) -> rule5) OR ((((((triple1) -> rule7) triple5) -> rule6) triple5) -> rule5) OR ((((triple1) -> rule7) ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule3) OR ((((triple4 triple5) -> rule6) ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule5) OR ((((triple4 ((triple1 triple4) -> rule1)) -> rule6) ((triple3) -> rule2)) -> rule5) OR ((((triple4 ((triple1 triple4) -> rule1)) -> rule6) ((triple1 triple4) -> rule1)) -> rule5) OR ((((((triple1) -> rule7) triple5) -> rule6) ((triple3) -> rule2)) -> rule5) OR ((((((triple1) -> rule7) triple5) -> rule6) ((triple1 triple4) -> rule1)) -> rule5) OR ((((((triple1) -> rule7) ((triple1 triple4) -> rule1)) -> rule6) triple5) -> rule5) OR ((((triple4 ((triple1 triple4) -> rule1)) -> rule6) ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule5) OR ((((((triple1) -> rule7) triple5) -> rule6) ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule5) OR ((((((triple1) -> rule7) ((triple1 triple4) -> rule1)) -> rule6) ((triple3) -> rule2)) -> rule5) OR ((((((triple1) -> rule7) ((triple1 triple4) -> rule1)) -> rule6) ((triple1 triple4) -> rule1)) -> rule5) OR ((((((triple1) -> rule7) ((triple1 triple4) -> rule1)) -> rule6) ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule5) OR ((((triple4 ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule6) triple5) -> rule5) OR ((((triple4 ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule6) ((triple3) -> rule2)) -> rule5) OR ((((triple4 ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule6) ((triple1 triple4) -> rule1)) -> rule5) OR ((((((triple1) -> rule7) ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule6) triple5) -> rule5) OR ((((triple4 ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule6) ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule5) OR ((((((triple1) -> rule7) ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule6) ((triple3) -> rule2)) -> rule5) OR ((((((triple1) -> rule7) ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule6) ((triple1 triple4) -> rule1)) -> rule5) OR ((((((triple1) -> rule7) ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule6) ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule5))] The cat is rough.[(triple3 OR ((triple2) -> rule8) OR ((triple4 triple5) -> rule6) OR ((((triple4) -> rule4)) -> rule8) OR ((((triple4 triple5) -> rule3)) -> rule8) OR ((triple4 ((triple1 triple4) -> rule1)) -> rule6) OR ((((triple1) -> rule7) triple5) -> rule6) OR ((((triple1) -> rule7) ((triple1 triple4) -> rule1)) -> rule6) OR ((((((triple1) -> rule7)) -> rule4)) -> rule8) OR ((((triple4 ((triple1 triple4) -> rule1)) -> rule3)) -> rule8) OR ((((((triple1) -> rule7) triple5) -> rule3)) -> rule8) OR ((triple4 ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule6) OR ((((((triple1) -> rule7) ((triple1 triple4) -> rule1)) -> rule3)) -> rule8) OR ((((triple1) -> rule7) ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule6) OR ((((triple4 ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule3)) -> rule8) OR ((((((triple1) -> rule7) ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule3)) -> rule8))] The cat is round.[(triple4 OR ((triple1) -> rule7))] The cat is young.[(triple5 OR ((triple3) -> rule2) OR ((triple1 triple4) -> rule1) OR ((((triple2) -> rule8)) -> rule2) OR ((triple1 ((triple1) -> rule7)) -> rule1) OR ((((((triple4) -> rule4)) -> rule8)) -> rule2) OR ((((((((triple1) -> rule7)) -> rule4)) -> rule8)) -> rule2))]
The cat is blue.
("cat" "is" "blue" "+")
triple1
The cat is nice.
("cat" "is" "nice" "+")
triple2
((triple4) -> (rule4 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
((triple3 triple5) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
((triple4 triple5) -> (rule3 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
((((triple1) -> (rule7 % int2))) -> (rule4 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
((triple3 ((triple3) -> (rule2 % int2))) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
((triple3 ((triple1 triple4) -> (rule1 % int2))) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
((triple4 ((triple3) -> (rule2 % int2))) -> (rule3 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
((triple4 ((triple1 triple4) -> (rule1 % int2))) -> (rule3 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
((((triple1) -> (rule7 % int2)) triple5) -> (rule3 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
((((triple4 triple5) -> (rule6 % int2)) triple5) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
((((triple1) -> (rule7 % int3)) ((triple3) -> (rule2 % int2))) -> (rule3 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
((((triple1) -> (rule7 % int3)) ((triple1 triple4) -> (rule1 % int2))) -> (rule3 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
((((triple4 triple5) -> (rule6 % int3)) ((triple3) -> (rule2 % int2))) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
((((triple4 triple5) -> (rule6 % int3)) ((triple1 triple4) -> (rule1 % int2))) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
((triple3 ((triple1 ((triple1) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
((triple4 ((triple1 ((triple1) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
((((triple4 ((triple1 triple4) -> (rule1 % int3))) -> (rule6 % int2)) triple5) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
((((((triple1) -> (rule7 % int3)) triple5) -> (rule6 % int2)) triple5) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
((((triple1) -> (rule7 % int3)) ((triple1 ((triple1) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
((((triple4 triple5) -> (rule6 % int4)) ((triple1 ((triple1) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
The cat is rough.
("cat" "is" "rough" "+")
int4
((((triple4 ((triple1 triple4) -> (rule1 % int3))) -> (rule6 % int2)) ((triple3) -> (rule2 % int3))) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
((((triple4 ((triple1 triple4) -> (rule1 % int3))) -> (rule6 % int2)) ((triple1 triple4) -> (rule1 % int3))) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
((((((triple1) -> (rule7 % int4)) triple5) -> (rule6 % int3)) ((triple3) -> (rule2 % int2))) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
((((((triple1) -> (rule7 % int4)) triple5) -> (rule6 % int3)) ((triple1 triple4) -> (rule1 % int2))) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
((((((triple1) -> (rule7 % int4)) ((triple1 triple4) -> (rule1 % int3))) -> (rule6 % int2)) triple5) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
((((triple4 ((triple1 triple4) -> (rule1 % int4))) -> (rule6 % int3)) ((triple1 ((triple1) -> (rule7 % int2))) -> (rule1 % int4))) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The cat is young.
("cat" "is" "young" "+")
int4
((((((triple1) -> (rule7 % int4)) triple5) -> (rule6 % int3)) ((triple1 ((triple1) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
((((((triple1) -> (rule7 % int4)) ((triple1 triple4) -> (rule1 % int3))) -> (rule6 % int2)) ((triple3) -> (rule2 % int3))) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
((((((triple1) -> (rule7 % int4)) ((triple1 triple4) -> (rule1 % int3))) -> (rule6 % int2)) ((triple1 triple4) -> (rule1 % int3))) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
((((((triple1) -> (rule7 % int4)) ((triple1 triple4) -> (rule1 % int3))) -> (rule6 % int2)) ((triple1 ((triple1) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
((((triple4 ((triple1 ((triple1) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple5) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
((((triple4 ((triple1 ((triple1) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple3) -> (rule2 % int3))) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
((((triple4 ((triple1 ((triple1) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple1 triple4) -> (rule1 % int3))) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
((((((triple1) -> (rule7 % int4)) ((triple1 ((triple1) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple5) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
((((triple4 ((triple1 ((triple1) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple1 ((triple1) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
((((((triple1) -> (rule7 % int4)) ((triple1 ((triple1) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple3) -> (rule2 % int3))) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
((((((triple1) -> (rule7 % int4)) ((triple1 ((triple1) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple1 triple4) -> (rule1 % int3))) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
((((((triple1) -> (rule7 % int4)) ((triple1 ((triple1) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple1 ((triple1) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
The cat is rough.
("cat" "is" "rough" "+")
triple3
((triple2) -> (rule8 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
((triple4 triple5) -> (rule6 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
((((triple4) -> (rule4 % int2))) -> (rule8 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
((((triple4 triple5) -> (rule3 % int2))) -> (rule8 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
((triple4 ((triple1 triple4) -> (rule1 % int2))) -> (rule6 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
((((triple1) -> (rule7 % int2)) triple5) -> (rule6 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
((((triple1) -> (rule7 % int3)) ((triple1 triple4) -> (rule1 % int2))) -> (rule6 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
((((((triple1) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
((((triple4 ((triple1 triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
((((((triple1) -> (rule7 % int3)) triple5) -> (rule3 % int2))) -> (rule8 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
((triple4 ((triple1 ((triple1) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
((((((triple1) -> (rule7 % int4)) ((triple1 triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
((((triple1) -> (rule7 % int3)) ((triple1 ((triple1) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
((((triple4 ((triple1 ((triple1) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
((((((triple1) -> (rule7 % int4)) ((triple1 ((triple1) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
The cat is round.
("cat" "is" "round" "+")
triple4
((triple1) -> (rule7 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat is young.
("cat" "is" "young" "+")
triple5
((triple3) -> (rule2 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
((triple1 triple4) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
((((triple2) -> (rule8 % int2))) -> (rule2 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
((triple1 ((triple1) -> (rule7 % int2))) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
((((((triple4) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
((((((((triple1) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4