The rabbit is big. The rabbit is green. The rabbit is rough. All rough, blue people are nice. All big, rough people are green. If the rabbit is big and the rabbit is green then the rabbit is blue. All nice, blue people are rough. If the rabbit is big and the rabbit is rough then the rabbit is blue. All big people are rough. Rough people are big. If someone is blue and green then they are rough.
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
All rough, blue people are nice.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
All big, rough people are green.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If the rabbit is big and the rabbit is green then the rabbit is blue.
((("rabbit" "is" "big" "+") ("rabbit" "is" "green" "+")) -> ("rabbit" "is" "blue" "+"))
All nice, blue people are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If the rabbit is big and the rabbit is rough then the rabbit is blue.
((("rabbit" "is" "big" "+") ("rabbit" "is" "rough" "+")) -> ("rabbit" "is" "blue" "+"))
All big people are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Rough people are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and green then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
The rabbit is rough.
True
1
proof
[(triple3 OR ((triple1) -> rule6) OR ((((triple1 triple2) -> rule3) triple2) -> rule8))]
("rabbit" "is" "rough" "+")
triple3
((triple1) -> (rule6 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
((((triple1 triple2) -> (rule3 % int2)) triple2) -> (rule8 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is not rough.
False
1
inv-proof
[(triple3 OR ((triple1) -> rule6) OR ((((triple1 triple2) -> rule3) triple2) -> rule8))]
("rabbit" "is" "rough" "-")
triple3
((triple1) -> (rule6 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
((((triple1 triple2) -> (rule3 % int2)) triple2) -> (rule8 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is blue.
True
3
proof
[(((triple1 triple2) -> rule3) OR ((triple1 triple3) -> rule5) OR ((triple1 ((triple1) -> rule6)) -> rule5) OR ((triple1 ((triple1 triple3) -> rule2)) -> rule3) OR ((((triple3) -> rule7) triple2) -> rule3) OR ((((triple3) -> rule7) triple3) -> rule5) OR ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule5) OR ((((triple3) -> rule7) ((triple1 triple3) -> rule2)) -> rule3) OR ((triple1 ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3) OR ((triple1 ((((triple3) -> rule7) triple3) -> rule2)) -> rule3) OR ((triple1 ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2)) -> rule3) OR ((((triple3) -> rule7) ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3) OR ((((triple3) -> rule7) ((((triple3) -> rule7) triple3) -> rule2)) -> rule3) OR ((((triple3) -> rule7) ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2)) -> rule3))]
("rabbit" "is" "blue" "+")
((triple1 triple2) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
((triple1 triple3) -> (rule5 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
((triple1 ((triple1) -> (rule6 % int2))) -> (rule5 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
((triple1 ((triple1 triple3) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
((((triple3) -> (rule7 % int2)) triple2) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
((((triple3) -> (rule7 % int2)) triple3) -> (rule5 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
((((triple3) -> (rule7 % int3)) ((triple1) -> (rule6 % int2))) -> (rule5 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((((triple3) -> (rule7 % int3)) ((triple1 triple3) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((triple1 ((triple1 ((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
((triple1 ((((triple3) -> (rule7 % int3)) triple3) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((triple1 ((((triple3) -> (rule7 % int4)) ((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
((((triple3) -> (rule7 % int4)) ((triple1 ((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
((((triple3) -> (rule7 % int3)) ((((triple3) -> (rule7 % int3)) triple3) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((((triple3) -> (rule7 % int4)) ((((triple3) -> (rule7 % int4)) ((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit is not blue.
False
3
inv-proof
[(((triple1 triple2) -> rule3) OR ((triple1 triple3) -> rule5) OR ((triple1 ((triple1) -> rule6)) -> rule5) OR ((triple1 ((triple1 triple3) -> rule2)) -> rule3) OR ((((triple3) -> rule7) triple2) -> rule3) OR ((((triple3) -> rule7) triple3) -> rule5) OR ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule5) OR ((((triple3) -> rule7) ((triple1 triple3) -> rule2)) -> rule3) OR ((triple1 ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3) OR ((triple1 ((((triple3) -> rule7) triple3) -> rule2)) -> rule3) OR ((triple1 ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2)) -> rule3) OR ((((triple3) -> rule7) ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3) OR ((((triple3) -> rule7) ((((triple3) -> rule7) triple3) -> rule2)) -> rule3) OR ((((triple3) -> rule7) ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2)) -> rule3))]
("rabbit" "is" "blue" "-")
((triple1 triple2) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
((triple1 triple3) -> (rule5 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
((triple1 ((triple1) -> (rule6 % int2))) -> (rule5 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
((triple1 ((triple1 triple3) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
((((triple3) -> (rule7 % int2)) triple2) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
((((triple3) -> (rule7 % int2)) triple3) -> (rule5 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
((((triple3) -> (rule7 % int3)) ((triple1) -> (rule6 % int2))) -> (rule5 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((((triple3) -> (rule7 % int3)) ((triple1 triple3) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((triple1 ((triple1 ((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
((triple1 ((((triple3) -> (rule7 % int3)) triple3) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((triple1 ((((triple3) -> (rule7 % int4)) ((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
((((triple3) -> (rule7 % int4)) ((triple1 ((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
((((triple3) -> (rule7 % int3)) ((((triple3) -> (rule7 % int3)) triple3) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((((triple3) -> (rule7 % int4)) ((((triple3) -> (rule7 % int4)) ((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit is nice.
True
5
proof
[(((triple3 ((triple1 triple2) -> rule3)) -> rule1) OR ((triple3 ((triple1 triple3) -> rule5)) -> rule1) OR ((((triple1) -> rule6) ((triple1 triple2) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((triple1 triple3) -> rule5)) -> rule1) OR ((triple3 ((triple1 ((triple1) -> rule6)) -> rule5)) -> rule1) OR ((triple3 ((triple1 ((triple1 triple3) -> rule2)) -> rule3)) -> rule1) OR ((triple3 ((((triple3) -> rule7) triple2) -> rule3)) -> rule1) OR ((triple3 ((((triple3) -> rule7) triple3) -> rule5)) -> rule1) OR ((triple3 ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule5)) -> rule1) OR ((triple3 ((((triple3) -> rule7) ((triple1 triple3) -> rule2)) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((triple1 ((triple1) -> rule6)) -> rule5)) -> rule1) OR ((((triple1) -> rule6) ((triple1 ((triple1 triple3) -> rule2)) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((((triple3) -> rule7) triple2) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((((triple3) -> rule7) triple3) -> rule5)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((triple1 triple2) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((triple1 triple3) -> rule5)) -> rule1) OR ((((triple1) -> rule6) ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule5)) -> rule1) OR ((((triple1) -> rule6) ((((triple3) -> rule7) ((triple1 triple3) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((triple1 ((triple1) -> rule6)) -> rule5)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((triple1 ((triple1 triple3) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((((triple3) -> rule7) triple2) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((((triple3) -> rule7) triple3) -> rule5)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule5)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((((triple3) -> rule7) ((triple1 triple3) -> rule2)) -> rule3)) -> rule1) OR ((triple3 ((triple1 ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((triple3 ((triple1 ((((triple3) -> rule7) triple3) -> rule2)) -> rule3)) -> rule1) OR ((triple3 ((triple1 ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((triple3 ((((triple3) -> rule7) ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((triple3 ((((triple3) -> rule7) ((((triple3) -> rule7) triple3) -> rule2)) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((triple1 ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((triple1 ((((triple3) -> rule7) triple3) -> rule2)) -> rule3)) -> rule1) OR ((triple3 ((((triple3) -> rule7) ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((triple1 ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((((triple3) -> rule7) ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((((triple3) -> rule7) ((((triple3) -> rule7) triple3) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((triple1 ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((triple1 ((((triple3) -> rule7) triple3) -> rule2)) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((((triple3) -> rule7) ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((triple1 ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((((triple3) -> rule7) ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((((triple3) -> rule7) ((((triple3) -> rule7) triple3) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((((triple3) -> rule7) ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1))]
("rabbit" "is" "nice" "+")
((triple3 ((triple1 triple2) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
((triple3 ((triple1 triple3) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
((((triple1) -> (rule6 % int3)) ((triple1 triple2) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
((((triple1) -> (rule6 % int3)) ((triple1 triple3) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
((triple3 ((triple1 ((triple1) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
((triple3 ((triple1 ((triple1 triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
((triple3 ((((triple3) -> (rule7 % int3)) triple2) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((triple3 ((((triple3) -> (rule7 % int3)) triple3) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((triple3 ((((triple3) -> (rule7 % int4)) ((triple1) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
((triple3 ((((triple3) -> (rule7 % int4)) ((triple1 triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
((((triple1) -> (rule6 % int3)) ((triple1 ((triple1) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
((((triple1) -> (rule6 % int4)) ((triple1 ((triple1 triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
((((triple1) -> (rule6 % int4)) ((((triple3) -> (rule7 % int3)) triple2) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
((((triple1) -> (rule6 % int4)) ((((triple3) -> (rule7 % int3)) triple3) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
((((((triple1 triple2) -> (rule3 % int3)) triple2) -> (rule8 % int2)) ((triple1 triple2) -> (rule3 % int3))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
((((((triple1 triple2) -> (rule3 % int3)) triple2) -> (rule8 % int2)) ((triple1 triple3) -> (rule5 % int3))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
((((triple1) -> (rule6 % int4)) ((((triple3) -> (rule7 % int3)) ((triple1) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
((((triple1) -> (rule6 % int5)) ((((triple3) -> (rule7 % int4)) ((triple1 triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit is rough.
("rabbit" "is" "rough" "+")
int5
((((((triple1 triple2) -> (rule3 % int3)) triple2) -> (rule8 % int2)) ((triple1 ((triple1) -> (rule6 % int2))) -> (rule5 % int3))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
((((((triple1 triple2) -> (rule3 % int4)) triple2) -> (rule8 % int3)) ((triple1 ((triple1 triple3) -> (rule2 % int2))) -> (rule3 % int4))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
((((((triple1 triple2) -> (rule3 % int4)) triple2) -> (rule8 % int3)) ((((triple3) -> (rule7 % int2)) triple2) -> (rule3 % int4))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
((((((triple1 triple2) -> (rule3 % int4)) triple2) -> (rule8 % int3)) ((((triple3) -> (rule7 % int2)) triple3) -> (rule5 % int4))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
((((((triple1 triple2) -> (rule3 % int4)) triple2) -> (rule8 % int3)) ((((triple3) -> (rule7 % int2)) ((triple1) -> (rule6 % int3))) -> (rule5 % int4))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
((((((triple1 triple2) -> (rule3 % int5)) triple2) -> (rule8 % int4)) ((((triple3) -> (rule7 % int3)) ((triple1 triple3) -> (rule2 % int2))) -> (rule3 % int5))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
((triple3 ((triple1 ((triple1 ((triple1) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
((triple3 ((triple1 ((((triple3) -> (rule7 % int4)) triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
((triple3 ((triple1 ((((triple3) -> (rule7 % int5)) ((triple1) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
((triple3 ((((triple3) -> (rule7 % int5)) ((triple1 ((triple1) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
((triple3 ((((triple3) -> (rule7 % int4)) ((((triple3) -> (rule7 % int4)) triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
((((triple1) -> (rule6 % int4)) ((triple1 ((triple1 ((triple1) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
((((triple1) -> (rule6 % int5)) ((triple1 ((((triple3) -> (rule7 % int4)) triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit is rough.
("rabbit" "is" "rough" "+")
int5
((triple3 ((((triple3) -> (rule7 % int5)) ((((triple3) -> (rule7 % int5)) ((triple1) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
((((triple1) -> (rule6 % int5)) ((triple1 ((((triple3) -> (rule7 % int4)) ((triple1) -> (rule6 % int5))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit is rough.
("rabbit" "is" "rough" "+")
int5
((((triple1) -> (rule6 % int5)) ((((triple3) -> (rule7 % int4)) ((triple1 ((triple1) -> (rule6 % int5))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit is rough.
("rabbit" "is" "rough" "+")
int5
((((triple1) -> (rule6 % int5)) ((((triple3) -> (rule7 % int4)) ((((triple3) -> (rule7 % int4)) triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit is rough.
("rabbit" "is" "rough" "+")
int5
((((((triple1 triple2) -> (rule3 % int4)) triple2) -> (rule8 % int3)) ((triple1 ((triple1 ((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int4))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
((((((triple1 triple2) -> (rule3 % int5)) triple2) -> (rule8 % int4)) ((triple1 ((((triple3) -> (rule7 % int3)) triple3) -> (rule2 % int2))) -> (rule3 % int5))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
((((triple1) -> (rule6 % int5)) ((((triple3) -> (rule7 % int4)) ((((triple3) -> (rule7 % int4)) ((triple1) -> (rule6 % int5))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit is rough.
("rabbit" "is" "rough" "+")
int5
((((((triple1 triple2) -> (rule3 % int5)) triple2) -> (rule8 % int4)) ((triple1 ((((triple3) -> (rule7 % int3)) ((triple1) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule3 % int5))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
((((((triple1 triple2) -> (rule3 % int5)) triple2) -> (rule8 % int4)) ((((triple3) -> (rule7 % int3)) ((triple1 ((triple1) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule3 % int5))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
((((((triple1 triple2) -> (rule3 % int5)) triple2) -> (rule8 % int4)) ((((triple3) -> (rule7 % int3)) ((((triple3) -> (rule7 % int3)) triple3) -> (rule2 % int2))) -> (rule3 % int5))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
((((((triple1 triple2) -> (rule3 % int5)) triple2) -> (rule8 % int4)) ((((triple3) -> (rule7 % int3)) ((((triple3) -> (rule7 % int3)) ((triple1) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule3 % int5))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
The rabbit is not nice.
False
5
inv-proof
[(((triple3 ((triple1 triple2) -> rule3)) -> rule1) OR ((triple3 ((triple1 triple3) -> rule5)) -> rule1) OR ((((triple1) -> rule6) ((triple1 triple2) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((triple1 triple3) -> rule5)) -> rule1) OR ((triple3 ((triple1 ((triple1) -> rule6)) -> rule5)) -> rule1) OR ((triple3 ((triple1 ((triple1 triple3) -> rule2)) -> rule3)) -> rule1) OR ((triple3 ((((triple3) -> rule7) triple2) -> rule3)) -> rule1) OR ((triple3 ((((triple3) -> rule7) triple3) -> rule5)) -> rule1) OR ((triple3 ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule5)) -> rule1) OR ((triple3 ((((triple3) -> rule7) ((triple1 triple3) -> rule2)) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((triple1 ((triple1) -> rule6)) -> rule5)) -> rule1) OR ((((triple1) -> rule6) ((triple1 ((triple1 triple3) -> rule2)) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((((triple3) -> rule7) triple2) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((((triple3) -> rule7) triple3) -> rule5)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((triple1 triple2) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((triple1 triple3) -> rule5)) -> rule1) OR ((((triple1) -> rule6) ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule5)) -> rule1) OR ((((triple1) -> rule6) ((((triple3) -> rule7) ((triple1 triple3) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((triple1 ((triple1) -> rule6)) -> rule5)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((triple1 ((triple1 triple3) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((((triple3) -> rule7) triple2) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((((triple3) -> rule7) triple3) -> rule5)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule5)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((((triple3) -> rule7) ((triple1 triple3) -> rule2)) -> rule3)) -> rule1) OR ((triple3 ((triple1 ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((triple3 ((triple1 ((((triple3) -> rule7) triple3) -> rule2)) -> rule3)) -> rule1) OR ((triple3 ((triple1 ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((triple3 ((((triple3) -> rule7) ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((triple3 ((((triple3) -> rule7) ((((triple3) -> rule7) triple3) -> rule2)) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((triple1 ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((triple1 ((((triple3) -> rule7) triple3) -> rule2)) -> rule3)) -> rule1) OR ((triple3 ((((triple3) -> rule7) ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((triple1 ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((((triple3) -> rule7) ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((((triple3) -> rule7) ((((triple3) -> rule7) triple3) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((triple1 ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((triple1 ((((triple3) -> rule7) triple3) -> rule2)) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((((triple3) -> rule7) ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((triple1 ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((((triple3) -> rule7) ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((((triple3) -> rule7) ((((triple3) -> rule7) triple3) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((((triple3) -> rule7) ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1))]
("rabbit" "is" "nice" "-")
((triple3 ((triple1 triple2) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
((triple3 ((triple1 triple3) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
((((triple1) -> (rule6 % int3)) ((triple1 triple2) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
((((triple1) -> (rule6 % int3)) ((triple1 triple3) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
((triple3 ((triple1 ((triple1) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
((triple3 ((triple1 ((triple1 triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
((triple3 ((((triple3) -> (rule7 % int3)) triple2) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((triple3 ((((triple3) -> (rule7 % int3)) triple3) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((triple3 ((((triple3) -> (rule7 % int4)) ((triple1) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
((triple3 ((((triple3) -> (rule7 % int4)) ((triple1 triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
((((triple1) -> (rule6 % int3)) ((triple1 ((triple1) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
((((triple1) -> (rule6 % int4)) ((triple1 ((triple1 triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
((((triple1) -> (rule6 % int4)) ((((triple3) -> (rule7 % int3)) triple2) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
((((triple1) -> (rule6 % int4)) ((((triple3) -> (rule7 % int3)) triple3) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
((((((triple1 triple2) -> (rule3 % int3)) triple2) -> (rule8 % int2)) ((triple1 triple2) -> (rule3 % int3))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
((((((triple1 triple2) -> (rule3 % int3)) triple2) -> (rule8 % int2)) ((triple1 triple3) -> (rule5 % int3))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
((((triple1) -> (rule6 % int4)) ((((triple3) -> (rule7 % int3)) ((triple1) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
((((triple1) -> (rule6 % int5)) ((((triple3) -> (rule7 % int4)) ((triple1 triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit is rough.
("rabbit" "is" "rough" "+")
int5
((((((triple1 triple2) -> (rule3 % int3)) triple2) -> (rule8 % int2)) ((triple1 ((triple1) -> (rule6 % int2))) -> (rule5 % int3))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
((((((triple1 triple2) -> (rule3 % int4)) triple2) -> (rule8 % int3)) ((triple1 ((triple1 triple3) -> (rule2 % int2))) -> (rule3 % int4))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
((((((triple1 triple2) -> (rule3 % int4)) triple2) -> (rule8 % int3)) ((((triple3) -> (rule7 % int2)) triple2) -> (rule3 % int4))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
((((((triple1 triple2) -> (rule3 % int4)) triple2) -> (rule8 % int3)) ((((triple3) -> (rule7 % int2)) triple3) -> (rule5 % int4))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
((((((triple1 triple2) -> (rule3 % int4)) triple2) -> (rule8 % int3)) ((((triple3) -> (rule7 % int2)) ((triple1) -> (rule6 % int3))) -> (rule5 % int4))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
((((((triple1 triple2) -> (rule3 % int5)) triple2) -> (rule8 % int4)) ((((triple3) -> (rule7 % int3)) ((triple1 triple3) -> (rule2 % int2))) -> (rule3 % int5))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
((triple3 ((triple1 ((triple1 ((triple1) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
((triple3 ((triple1 ((((triple3) -> (rule7 % int4)) triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
((triple3 ((triple1 ((((triple3) -> (rule7 % int5)) ((triple1) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
((triple3 ((((triple3) -> (rule7 % int5)) ((triple1 ((triple1) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
((triple3 ((((triple3) -> (rule7 % int4)) ((((triple3) -> (rule7 % int4)) triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
((((triple1) -> (rule6 % int4)) ((triple1 ((triple1 ((triple1) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
((((triple1) -> (rule6 % int5)) ((triple1 ((((triple3) -> (rule7 % int4)) triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit is rough.
("rabbit" "is" "rough" "+")
int5
((triple3 ((((triple3) -> (rule7 % int5)) ((((triple3) -> (rule7 % int5)) ((triple1) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
((((triple1) -> (rule6 % int5)) ((triple1 ((((triple3) -> (rule7 % int4)) ((triple1) -> (rule6 % int5))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit is rough.
("rabbit" "is" "rough" "+")
int5
((((triple1) -> (rule6 % int5)) ((((triple3) -> (rule7 % int4)) ((triple1 ((triple1) -> (rule6 % int5))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit is rough.
("rabbit" "is" "rough" "+")
int5
((((triple1) -> (rule6 % int5)) ((((triple3) -> (rule7 % int4)) ((((triple3) -> (rule7 % int4)) triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit is rough.
("rabbit" "is" "rough" "+")
int5
((((((triple1 triple2) -> (rule3 % int4)) triple2) -> (rule8 % int3)) ((triple1 ((triple1 ((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int4))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
((((((triple1 triple2) -> (rule3 % int5)) triple2) -> (rule8 % int4)) ((triple1 ((((triple3) -> (rule7 % int3)) triple3) -> (rule2 % int2))) -> (rule3 % int5))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
((((triple1) -> (rule6 % int5)) ((((triple3) -> (rule7 % int4)) ((((triple3) -> (rule7 % int4)) ((triple1) -> (rule6 % int5))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit is rough.
("rabbit" "is" "rough" "+")
int5
((((((triple1 triple2) -> (rule3 % int5)) triple2) -> (rule8 % int4)) ((triple1 ((((triple3) -> (rule7 % int3)) ((triple1) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule3 % int5))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
((((((triple1 triple2) -> (rule3 % int5)) triple2) -> (rule8 % int4)) ((((triple3) -> (rule7 % int3)) ((triple1 ((triple1) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule3 % int5))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
((((((triple1 triple2) -> (rule3 % int5)) triple2) -> (rule8 % int4)) ((((triple3) -> (rule7 % int3)) ((((triple3) -> (rule7 % int3)) triple3) -> (rule2 % int2))) -> (rule3 % int5))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
((((((triple1 triple2) -> (rule3 % int5)) triple2) -> (rule8 % int4)) ((((triple3) -> (rule7 % int3)) ((((triple3) -> (rule7 % int3)) ((triple1) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule3 % int5))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
The rabbit does not chase the rabbit.
Unknown
inv-random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
@0: The rabbit is big.[(triple1 OR ((triple3) -> rule7))] The rabbit is green.[(triple2 OR ((triple1 triple3) -> rule2) OR ((triple1 ((triple1) -> rule6)) -> rule2) OR ((((triple3) -> rule7) triple3) -> rule2) OR ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2))] The rabbit is rough.[(triple3 OR ((triple1) -> rule6) OR ((((triple1 triple2) -> rule3) triple2) -> rule8))] @1: The rabbit is blue.[(((triple1 triple2) -> rule3) OR ((triple1 triple3) -> rule5) OR ((triple1 ((triple1) -> rule6)) -> rule5) OR ((triple1 ((triple1 triple3) -> rule2)) -> rule3) OR ((((triple3) -> rule7) triple2) -> rule3) OR ((((triple3) -> rule7) triple3) -> rule5) OR ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule5) OR ((((triple3) -> rule7) ((triple1 triple3) -> rule2)) -> rule3) OR ((triple1 ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3) OR ((triple1 ((((triple3) -> rule7) triple3) -> rule2)) -> rule3) OR ((triple1 ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2)) -> rule3) OR ((((triple3) -> rule7) ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3) OR ((((triple3) -> rule7) ((((triple3) -> rule7) triple3) -> rule2)) -> rule3) OR ((((triple3) -> rule7) ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2)) -> rule3))] @2: The rabbit is nice.[(((triple3 ((triple1 triple2) -> rule3)) -> rule1) OR ((triple3 ((triple1 triple3) -> rule5)) -> rule1) OR ((((triple1) -> rule6) ((triple1 triple2) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((triple1 triple3) -> rule5)) -> rule1) OR ((triple3 ((triple1 ((triple1) -> rule6)) -> rule5)) -> rule1) OR ((triple3 ((triple1 ((triple1 triple3) -> rule2)) -> rule3)) -> rule1) OR ((triple3 ((((triple3) -> rule7) triple2) -> rule3)) -> rule1) OR ((triple3 ((((triple3) -> rule7) triple3) -> rule5)) -> rule1) OR ((triple3 ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule5)) -> rule1) OR ((triple3 ((((triple3) -> rule7) ((triple1 triple3) -> rule2)) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((triple1 ((triple1) -> rule6)) -> rule5)) -> rule1) OR ((((triple1) -> rule6) ((triple1 ((triple1 triple3) -> rule2)) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((((triple3) -> rule7) triple2) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((((triple3) -> rule7) triple3) -> rule5)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((triple1 triple2) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((triple1 triple3) -> rule5)) -> rule1) OR ((((triple1) -> rule6) ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule5)) -> rule1) OR ((((triple1) -> rule6) ((((triple3) -> rule7) ((triple1 triple3) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((triple1 ((triple1) -> rule6)) -> rule5)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((triple1 ((triple1 triple3) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((((triple3) -> rule7) triple2) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((((triple3) -> rule7) triple3) -> rule5)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule5)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((((triple3) -> rule7) ((triple1 triple3) -> rule2)) -> rule3)) -> rule1) OR ((triple3 ((triple1 ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((triple3 ((triple1 ((((triple3) -> rule7) triple3) -> rule2)) -> rule3)) -> rule1) OR ((triple3 ((triple1 ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((triple3 ((((triple3) -> rule7) ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((triple3 ((((triple3) -> rule7) ((((triple3) -> rule7) triple3) -> rule2)) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((triple1 ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((triple1 ((((triple3) -> rule7) triple3) -> rule2)) -> rule3)) -> rule1) OR ((triple3 ((((triple3) -> rule7) ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((triple1 ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((((triple3) -> rule7) ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((((triple3) -> rule7) ((((triple3) -> rule7) triple3) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((triple1 ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((triple1 ((((triple3) -> rule7) triple3) -> rule2)) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((((triple3) -> rule7) ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((triple1 ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((((triple3) -> rule7) ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((((triple3) -> rule7) ((((triple3) -> rule7) triple3) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((((triple3) -> rule7) ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1))]
The rabbit is big.
("rabbit" "is" "big" "+")
triple1
((triple3) -> (rule7 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
triple2
((triple1 triple3) -> (rule2 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
((triple1 ((triple1) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
((((triple3) -> (rule7 % int2)) triple3) -> (rule2 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
((((triple3) -> (rule7 % int3)) ((triple1) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple3
((triple1) -> (rule6 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
((((triple1 triple2) -> (rule3 % int2)) triple2) -> (rule8 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
((triple1 triple2) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
((triple1 triple3) -> (rule5 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
((triple1 ((triple1) -> (rule6 % int2))) -> (rule5 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
((triple1 ((triple1 triple3) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
((((triple3) -> (rule7 % int2)) triple2) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
((((triple3) -> (rule7 % int2)) triple3) -> (rule5 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
((((triple3) -> (rule7 % int3)) ((triple1) -> (rule6 % int2))) -> (rule5 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((((triple3) -> (rule7 % int3)) ((triple1 triple3) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((triple1 ((triple1 ((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
((triple1 ((((triple3) -> (rule7 % int3)) triple3) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((triple1 ((((triple3) -> (rule7 % int4)) ((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
((((triple3) -> (rule7 % int4)) ((triple1 ((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
((((triple3) -> (rule7 % int3)) ((((triple3) -> (rule7 % int3)) triple3) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((((triple3) -> (rule7 % int4)) ((((triple3) -> (rule7 % int4)) ((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit is nice.
("rabbit" "is" "nice" "+")
((triple3 ((triple1 triple2) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
((triple3 ((triple1 triple3) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
((((triple1) -> (rule6 % int3)) ((triple1 triple2) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
((((triple1) -> (rule6 % int3)) ((triple1 triple3) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
((triple3 ((triple1 ((triple1) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
((triple3 ((triple1 ((triple1 triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
((triple3 ((((triple3) -> (rule7 % int3)) triple2) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((triple3 ((((triple3) -> (rule7 % int3)) triple3) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((triple3 ((((triple3) -> (rule7 % int4)) ((triple1) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
((triple3 ((((triple3) -> (rule7 % int4)) ((triple1 triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
((((triple1) -> (rule6 % int3)) ((triple1 ((triple1) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
((((triple1) -> (rule6 % int4)) ((triple1 ((triple1 triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
((((triple1) -> (rule6 % int4)) ((((triple3) -> (rule7 % int3)) triple2) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
((((triple1) -> (rule6 % int4)) ((((triple3) -> (rule7 % int3)) triple3) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
((((((triple1 triple2) -> (rule3 % int3)) triple2) -> (rule8 % int2)) ((triple1 triple2) -> (rule3 % int3))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
((((((triple1 triple2) -> (rule3 % int3)) triple2) -> (rule8 % int2)) ((triple1 triple3) -> (rule5 % int3))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
((((triple1) -> (rule6 % int4)) ((((triple3) -> (rule7 % int3)) ((triple1) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
((((triple1) -> (rule6 % int5)) ((((triple3) -> (rule7 % int4)) ((triple1 triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit is rough.
("rabbit" "is" "rough" "+")
int5
((((((triple1 triple2) -> (rule3 % int3)) triple2) -> (rule8 % int2)) ((triple1 ((triple1) -> (rule6 % int2))) -> (rule5 % int3))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
((((((triple1 triple2) -> (rule3 % int4)) triple2) -> (rule8 % int3)) ((triple1 ((triple1 triple3) -> (rule2 % int2))) -> (rule3 % int4))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
((((((triple1 triple2) -> (rule3 % int4)) triple2) -> (rule8 % int3)) ((((triple3) -> (rule7 % int2)) triple2) -> (rule3 % int4))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
((((((triple1 triple2) -> (rule3 % int4)) triple2) -> (rule8 % int3)) ((((triple3) -> (rule7 % int2)) triple3) -> (rule5 % int4))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
((((((triple1 triple2) -> (rule3 % int4)) triple2) -> (rule8 % int3)) ((((triple3) -> (rule7 % int2)) ((triple1) -> (rule6 % int3))) -> (rule5 % int4))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
((((((triple1 triple2) -> (rule3 % int5)) triple2) -> (rule8 % int4)) ((((triple3) -> (rule7 % int3)) ((triple1 triple3) -> (rule2 % int2))) -> (rule3 % int5))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
((triple3 ((triple1 ((triple1 ((triple1) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
((triple3 ((triple1 ((((triple3) -> (rule7 % int4)) triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
((triple3 ((triple1 ((((triple3) -> (rule7 % int5)) ((triple1) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
((triple3 ((((triple3) -> (rule7 % int5)) ((triple1 ((triple1) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
((triple3 ((((triple3) -> (rule7 % int4)) ((((triple3) -> (rule7 % int4)) triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
((((triple1) -> (rule6 % int4)) ((triple1 ((triple1 ((triple1) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
((((triple1) -> (rule6 % int5)) ((triple1 ((((triple3) -> (rule7 % int4)) triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit is rough.
("rabbit" "is" "rough" "+")
int5
((triple3 ((((triple3) -> (rule7 % int5)) ((((triple3) -> (rule7 % int5)) ((triple1) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
The rabbit is big.
("rabbit" "is" "big" "+")
int5
((((triple1) -> (rule6 % int5)) ((triple1 ((((triple3) -> (rule7 % int4)) ((triple1) -> (rule6 % int5))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit is rough.
("rabbit" "is" "rough" "+")
int5
((((triple1) -> (rule6 % int5)) ((((triple3) -> (rule7 % int4)) ((triple1 ((triple1) -> (rule6 % int5))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit is rough.
("rabbit" "is" "rough" "+")
int5
((((triple1) -> (rule6 % int5)) ((((triple3) -> (rule7 % int4)) ((((triple3) -> (rule7 % int4)) triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit is rough.
("rabbit" "is" "rough" "+")
int5
((((((triple1 triple2) -> (rule3 % int4)) triple2) -> (rule8 % int3)) ((triple1 ((triple1 ((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int4))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
((((((triple1 triple2) -> (rule3 % int5)) triple2) -> (rule8 % int4)) ((triple1 ((((triple3) -> (rule7 % int3)) triple3) -> (rule2 % int2))) -> (rule3 % int5))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
((((triple1) -> (rule6 % int5)) ((((triple3) -> (rule7 % int4)) ((((triple3) -> (rule7 % int4)) ((triple1) -> (rule6 % int5))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit is rough.
("rabbit" "is" "rough" "+")
int5
((((((triple1 triple2) -> (rule3 % int5)) triple2) -> (rule8 % int4)) ((triple1 ((((triple3) -> (rule7 % int3)) ((triple1) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule3 % int5))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
((((((triple1 triple2) -> (rule3 % int5)) triple2) -> (rule8 % int4)) ((((triple3) -> (rule7 % int3)) ((triple1 ((triple1) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule3 % int5))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
((((((triple1 triple2) -> (rule3 % int5)) triple2) -> (rule8 % int4)) ((((triple3) -> (rule7 % int3)) ((((triple3) -> (rule7 % int3)) triple3) -> (rule2 % int2))) -> (rule3 % int5))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
((((((triple1 triple2) -> (rule3 % int5)) triple2) -> (rule8 % int4)) ((((triple3) -> (rule7 % int3)) ((((triple3) -> (rule7 % int3)) ((triple1) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule3 % int5))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5