The cat is kind. The cat is red. The cat is round. All round things are kind. Rough things are red. Round, kind things are rough. If the cat is rough and the cat is red then the cat is big. If the cat is big and the cat is round then the cat is red. Round things are kind.
The cat is kind.
("cat" "is" "kind" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is round.
("cat" "is" "round" "+")
All round things are kind.
((("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
Rough things are red.
((("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
Round, kind things are rough.
((("something" "is" "round" "+") ("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
If the cat is rough and the cat is red then the cat is big.
((("cat" "is" "rough" "+") ("cat" "is" "red" "+")) -> ("cat" "is" "big" "+"))
If the cat is big and the cat is round then the cat is red.
((("cat" "is" "big" "+") ("cat" "is" "round" "+")) -> ("cat" "is" "red" "+"))
Round things are kind.
((("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
The cat is round.
True
1
proof
[(triple3)]
("cat" "is" "round" "+")
triple3
The cat is not round.
False
1
inv-proof
[(triple3)]
("cat" "is" "round" "-")
triple3
The cat is rough.
True
3
proof
[(((triple3 triple1) -> rule3) OR ((triple3 ((triple3) -> rule1)) -> rule3) OR ((triple3 ((triple3) -> rule6)) -> rule3))]
("cat" "is" "rough" "+")
((triple3 triple1) -> (rule3 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
((triple3 ((triple3) -> (rule1 % int2))) -> (rule3 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
((triple3 ((triple3) -> (rule6 % int2))) -> (rule3 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat is not rough.
False
3
inv-proof
[(((triple3 triple1) -> rule3) OR ((triple3 ((triple3) -> rule1)) -> rule3) OR ((triple3 ((triple3) -> rule6)) -> rule3))]
("cat" "is" "rough" "-")
((triple3 triple1) -> (rule3 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
((triple3 ((triple3) -> (rule1 % int2))) -> (rule3 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
((triple3 ((triple3) -> (rule6 % int2))) -> (rule3 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat is big.
True
5
proof
[(((((triple3 triple1) -> rule3) triple2) -> rule4) OR ((((triple3 ((triple3) -> rule1)) -> rule3) triple2) -> rule4) OR ((((triple3 ((triple3) -> rule6)) -> rule3) triple2) -> rule4) OR ((((triple3 triple1) -> rule3) ((((triple3 triple1) -> rule3)) -> rule2)) -> rule4) OR ((((triple3 ((triple3) -> rule1)) -> rule3) ((((triple3 triple1) -> rule3)) -> rule2)) -> rule4) OR ((((triple3 ((triple3) -> rule6)) -> rule3) ((((triple3 triple1) -> rule3)) -> rule2)) -> rule4) OR ((((triple3 triple1) -> rule3) ((((triple3 ((triple3) -> rule1)) -> rule3)) -> rule2)) -> rule4) OR ((((triple3 triple1) -> rule3) ((((triple3 ((triple3) -> rule6)) -> rule3)) -> rule2)) -> rule4) OR ((((triple3 ((triple3) -> rule1)) -> rule3) ((((triple3 ((triple3) -> rule1)) -> rule3)) -> rule2)) -> rule4) OR ((((triple3 ((triple3) -> rule1)) -> rule3) ((((triple3 ((triple3) -> rule6)) -> rule3)) -> rule2)) -> rule4) OR ((((triple3 ((triple3) -> rule6)) -> rule3) ((((triple3 ((triple3) -> rule1)) -> rule3)) -> rule2)) -> rule4) OR ((((triple3 ((triple3) -> rule6)) -> rule3) ((((triple3 ((triple3) -> rule6)) -> rule3)) -> rule2)) -> rule4))]
("cat" "is" "big" "+")
((((triple3 triple1) -> (rule3 % int2)) triple2) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
((((triple3 ((triple3) -> (rule1 % int3))) -> (rule3 % int2)) triple2) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
((((triple3 ((triple3) -> (rule6 % int3))) -> (rule3 % int2)) triple2) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
((((triple3 triple1) -> (rule3 % int3)) ((((triple3 triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
((((triple3 ((triple3) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple3 triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The cat is kind.
("cat" "is" "kind" "+")
int4
((((triple3 ((triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple3 triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The cat is kind.
("cat" "is" "kind" "+")
int4
((((triple3 triple1) -> (rule3 % int4)) ((((triple3 ((triple3) -> (rule1 % int3))) -> (rule3 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat is rough.
("cat" "is" "rough" "+")
int4
((((triple3 triple1) -> (rule3 % int4)) ((((triple3 ((triple3) -> (rule6 % int3))) -> (rule3 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat is rough.
("cat" "is" "rough" "+")
int4
((((triple3 ((triple3) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple3 ((triple3) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The cat is kind.
("cat" "is" "kind" "+")
int4
((((triple3 ((triple3) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple3 ((triple3) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The cat is kind.
("cat" "is" "kind" "+")
int4
((((triple3 ((triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple3 ((triple3) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The cat is kind.
("cat" "is" "kind" "+")
int4
((((triple3 ((triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple3 ((triple3) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The cat is kind.
("cat" "is" "kind" "+")
int4
The cat is not big.
False
5
inv-proof
[(((((triple3 triple1) -> rule3) triple2) -> rule4) OR ((((triple3 ((triple3) -> rule1)) -> rule3) triple2) -> rule4) OR ((((triple3 ((triple3) -> rule6)) -> rule3) triple2) -> rule4) OR ((((triple3 triple1) -> rule3) ((((triple3 triple1) -> rule3)) -> rule2)) -> rule4) OR ((((triple3 ((triple3) -> rule1)) -> rule3) ((((triple3 triple1) -> rule3)) -> rule2)) -> rule4) OR ((((triple3 ((triple3) -> rule6)) -> rule3) ((((triple3 triple1) -> rule3)) -> rule2)) -> rule4) OR ((((triple3 triple1) -> rule3) ((((triple3 ((triple3) -> rule1)) -> rule3)) -> rule2)) -> rule4) OR ((((triple3 triple1) -> rule3) ((((triple3 ((triple3) -> rule6)) -> rule3)) -> rule2)) -> rule4) OR ((((triple3 ((triple3) -> rule1)) -> rule3) ((((triple3 ((triple3) -> rule1)) -> rule3)) -> rule2)) -> rule4) OR ((((triple3 ((triple3) -> rule1)) -> rule3) ((((triple3 ((triple3) -> rule6)) -> rule3)) -> rule2)) -> rule4) OR ((((triple3 ((triple3) -> rule6)) -> rule3) ((((triple3 ((triple3) -> rule1)) -> rule3)) -> rule2)) -> rule4) OR ((((triple3 ((triple3) -> rule6)) -> rule3) ((((triple3 ((triple3) -> rule6)) -> rule3)) -> rule2)) -> rule4))]
("cat" "is" "big" "-")
((((triple3 triple1) -> (rule3 % int2)) triple2) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
((((triple3 ((triple3) -> (rule1 % int3))) -> (rule3 % int2)) triple2) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
((((triple3 ((triple3) -> (rule6 % int3))) -> (rule3 % int2)) triple2) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
((((triple3 triple1) -> (rule3 % int3)) ((((triple3 triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
((((triple3 ((triple3) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple3 triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The cat is kind.
("cat" "is" "kind" "+")
int4
((((triple3 ((triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple3 triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The cat is kind.
("cat" "is" "kind" "+")
int4
((((triple3 triple1) -> (rule3 % int4)) ((((triple3 ((triple3) -> (rule1 % int3))) -> (rule3 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat is rough.
("cat" "is" "rough" "+")
int4
((((triple3 triple1) -> (rule3 % int4)) ((((triple3 ((triple3) -> (rule6 % int3))) -> (rule3 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat is rough.
("cat" "is" "rough" "+")
int4
((((triple3 ((triple3) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple3 ((triple3) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The cat is kind.
("cat" "is" "kind" "+")
int4
((((triple3 ((triple3) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple3 ((triple3) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The cat is kind.
("cat" "is" "kind" "+")
int4
((((triple3 ((triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple3 ((triple3) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The cat is kind.
("cat" "is" "kind" "+")
int4
((((triple3 ((triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple3 ((triple3) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The cat is kind.
("cat" "is" "kind" "+")
int4
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 visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
@0: The cat is kind.[(triple1 OR ((triple3) -> rule1) OR ((triple3) -> rule6))] The cat is red.[(triple2 OR ((((triple3 triple1) -> rule3)) -> rule2) OR ((((triple3 ((triple3) -> rule1)) -> rule3)) -> rule2) OR ((((triple3 ((triple3) -> rule6)) -> rule3)) -> rule2))] The cat is round.[(triple3)] @1: The cat is rough.[(((triple3 triple1) -> rule3) OR ((triple3 ((triple3) -> rule1)) -> rule3) OR ((triple3 ((triple3) -> rule6)) -> rule3))] @2: The cat is big.[(((((triple3 triple1) -> rule3) triple2) -> rule4) OR ((((triple3 ((triple3) -> rule1)) -> rule3) triple2) -> rule4) OR ((((triple3 ((triple3) -> rule6)) -> rule3) triple2) -> rule4) OR ((((triple3 triple1) -> rule3) ((((triple3 triple1) -> rule3)) -> rule2)) -> rule4) OR ((((triple3 ((triple3) -> rule1)) -> rule3) ((((triple3 triple1) -> rule3)) -> rule2)) -> rule4) OR ((((triple3 ((triple3) -> rule6)) -> rule3) ((((triple3 triple1) -> rule3)) -> rule2)) -> rule4) OR ((((triple3 triple1) -> rule3) ((((triple3 ((triple3) -> rule1)) -> rule3)) -> rule2)) -> rule4) OR ((((triple3 triple1) -> rule3) ((((triple3 ((triple3) -> rule6)) -> rule3)) -> rule2)) -> rule4) OR ((((triple3 ((triple3) -> rule1)) -> rule3) ((((triple3 ((triple3) -> rule1)) -> rule3)) -> rule2)) -> rule4) OR ((((triple3 ((triple3) -> rule1)) -> rule3) ((((triple3 ((triple3) -> rule6)) -> rule3)) -> rule2)) -> rule4) OR ((((triple3 ((triple3) -> rule6)) -> rule3) ((((triple3 ((triple3) -> rule1)) -> rule3)) -> rule2)) -> rule4) OR ((((triple3 ((triple3) -> rule6)) -> rule3) ((((triple3 ((triple3) -> rule6)) -> rule3)) -> rule2)) -> rule4))]
The cat is kind.
("cat" "is" "kind" "+")
triple1
((triple3) -> (rule1 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
((triple3) -> (rule6 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat is red.
("cat" "is" "red" "+")
triple2
((((triple3 triple1) -> (rule3 % int2))) -> (rule2 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
((((triple3 ((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
((((triple3 ((triple3) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat is round.
("cat" "is" "round" "+")
triple3
The cat is rough.
("cat" "is" "rough" "+")
((triple3 triple1) -> (rule3 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
((triple3 ((triple3) -> (rule1 % int2))) -> (rule3 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
((triple3 ((triple3) -> (rule6 % int2))) -> (rule3 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat is big.
("cat" "is" "big" "+")
((((triple3 triple1) -> (rule3 % int2)) triple2) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
((((triple3 ((triple3) -> (rule1 % int3))) -> (rule3 % int2)) triple2) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
((((triple3 ((triple3) -> (rule6 % int3))) -> (rule3 % int2)) triple2) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
((((triple3 triple1) -> (rule3 % int3)) ((((triple3 triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
((((triple3 ((triple3) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple3 triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The cat is kind.
("cat" "is" "kind" "+")
int4
((((triple3 ((triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple3 triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The cat is kind.
("cat" "is" "kind" "+")
int4
((((triple3 triple1) -> (rule3 % int4)) ((((triple3 ((triple3) -> (rule1 % int3))) -> (rule3 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat is rough.
("cat" "is" "rough" "+")
int4
((((triple3 triple1) -> (rule3 % int4)) ((((triple3 ((triple3) -> (rule6 % int3))) -> (rule3 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat is rough.
("cat" "is" "rough" "+")
int4
((((triple3 ((triple3) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple3 ((triple3) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The cat is kind.
("cat" "is" "kind" "+")
int4
((((triple3 ((triple3) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple3 ((triple3) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The cat is kind.
("cat" "is" "kind" "+")
int4
((((triple3 ((triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple3 ((triple3) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The cat is kind.
("cat" "is" "kind" "+")
int4
((((triple3 ((triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple3 ((triple3) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The cat is kind.
("cat" "is" "kind" "+")
int4