The rabbit is blue. The rabbit is green. The rabbit is nice. The rabbit is rough. The rabbit is round. If someone is rough then they are nice. All blue people are rough. If the rabbit is round then the rabbit is rough. If someone is nice then they are blue. All rough people are blue. Nice people are green. All blue people are round. All rough, blue people are green.
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
All blue people are rough.
((("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If the rabbit is round then the rabbit is rough.
((("rabbit" "is" "round" "+")) -> ("rabbit" "is" "rough" "+"))
If someone is nice then they are blue.
((("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
All rough people are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
Nice people are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
All blue people are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
All rough, blue people are green.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
The rabbit is rough.
True
1
proof
[(triple4 OR ((triple1) -> rule2) OR ((triple5) -> rule3) OR ((((triple1) -> rule7)) -> rule3) OR ((((triple3) -> rule4)) -> rule2) OR ((((((triple3) -> rule4)) -> rule7)) -> rule3))]
("rabbit" "is" "rough" "+")
triple4
((triple1) -> (rule2 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
((triple5) -> (rule3 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
((((triple1) -> (rule7 % int2))) -> (rule3 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
((((triple3) -> (rule4 % int2))) -> (rule2 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
((((((triple3) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
The rabbit is not nice.
False
1
inv-proof
[(triple3 OR ((triple4) -> rule1) OR ((((triple1) -> rule2)) -> rule1) OR ((((triple5) -> rule3)) -> rule1) OR ((((((triple1) -> rule7)) -> rule3)) -> rule1))]
("rabbit" "is" "nice" "-")
triple3
((triple4) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
((((triple5) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
((((((triple1) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
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 blue.[(triple1 OR ((triple3) -> rule4) OR ((triple4) -> rule5) OR ((((triple4) -> rule1)) -> rule4) OR ((((triple5) -> rule3)) -> rule5) OR ((((((triple5) -> rule3)) -> rule1)) -> rule4))] The rabbit is green.[(triple2 OR ((triple3) -> rule6) OR ((triple4 triple1) -> rule8) OR ((((triple4) -> rule1)) -> rule6) OR ((triple4 ((triple3) -> rule4)) -> rule8) OR ((triple4 ((triple4) -> rule5)) -> rule8) OR ((((triple1) -> rule2) triple1) -> rule8) OR ((((triple5) -> rule3) triple1) -> rule8) OR ((((triple1) -> rule2) ((triple3) -> rule4)) -> rule8) OR ((((triple1) -> rule2) ((triple4) -> rule5)) -> rule8) OR ((((triple5) -> rule3) ((triple3) -> rule4)) -> rule8) OR ((((triple5) -> rule3) ((triple4) -> rule5)) -> rule8) OR ((((((triple1) -> rule2)) -> rule1)) -> rule6) OR ((((((triple5) -> rule3)) -> rule1)) -> rule6) OR ((triple4 ((((triple4) -> rule1)) -> rule4)) -> rule8) OR ((triple4 ((((triple5) -> rule3)) -> rule5)) -> rule8) OR ((((((triple1) -> rule7)) -> rule3) triple1) -> rule8) OR ((((((triple3) -> rule4)) -> rule2) triple1) -> rule8) OR ((((triple1) -> rule2) ((((triple4) -> rule1)) -> rule4)) -> rule8) OR ((((triple1) -> rule2) ((((triple5) -> rule3)) -> rule5)) -> rule8) OR ((((triple5) -> rule3) ((((triple4) -> rule1)) -> rule4)) -> rule8) OR ((((triple5) -> rule3) ((((triple5) -> rule3)) -> rule5)) -> rule8) OR ((((((triple1) -> rule7)) -> rule3) ((triple3) -> rule4)) -> rule8) OR ((((((triple1) -> rule7)) -> rule3) ((triple4) -> rule5)) -> rule8) OR ((((((triple3) -> rule4)) -> rule2) ((triple3) -> rule4)) -> rule8) OR ((((((triple3) -> rule4)) -> rule2) ((triple4) -> rule5)) -> rule8) OR ((((((triple1) -> rule7)) -> rule3) ((((triple4) -> rule1)) -> rule4)) -> rule8) OR ((((((triple1) -> rule7)) -> rule3) ((((triple5) -> rule3)) -> rule5)) -> rule8) OR ((((((triple3) -> rule4)) -> rule2) ((((triple4) -> rule1)) -> rule4)) -> rule8) OR ((((((triple3) -> rule4)) -> rule2) ((((triple5) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple1) -> rule7)) -> rule3)) -> rule1)) -> rule6) OR ((triple4 ((((((triple5) -> rule3)) -> rule1)) -> rule4)) -> rule8) OR ((((((((triple3) -> rule4)) -> rule7)) -> rule3) triple1) -> rule8) OR ((((triple1) -> rule2) ((((((triple5) -> rule3)) -> rule1)) -> rule4)) -> rule8) OR ((((triple5) -> rule3) ((((((triple5) -> rule3)) -> rule1)) -> rule4)) -> rule8) OR ((((((((triple3) -> rule4)) -> rule7)) -> rule3) ((triple3) -> rule4)) -> rule8) OR ((((((((triple3) -> rule4)) -> rule7)) -> rule3) ((triple4) -> rule5)) -> rule8) OR ((((((triple1) -> rule7)) -> rule3) ((((((triple5) -> rule3)) -> rule1)) -> rule4)) -> rule8) OR ((((((triple3) -> rule4)) -> rule2) ((((((triple5) -> rule3)) -> rule1)) -> rule4)) -> rule8) OR ((((((((triple3) -> rule4)) -> rule7)) -> rule3) ((((triple4) -> rule1)) -> rule4)) -> rule8) OR ((((((((triple3) -> rule4)) -> rule7)) -> rule3) ((((triple5) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple3) -> rule4)) -> rule7)) -> rule3) ((((((triple5) -> rule3)) -> rule1)) -> rule4)) -> rule8))] The rabbit is nice.[(triple3 OR ((triple4) -> rule1) OR ((((triple1) -> rule2)) -> rule1) OR ((((triple5) -> rule3)) -> rule1) OR ((((((triple1) -> rule7)) -> rule3)) -> rule1))] The rabbit is rough.[(triple4 OR ((triple1) -> rule2) OR ((triple5) -> rule3) OR ((((triple1) -> rule7)) -> rule3) OR ((((triple3) -> rule4)) -> rule2) OR ((((((triple3) -> rule4)) -> rule7)) -> rule3))] The rabbit is round.[(triple5 OR ((triple1) -> rule7) OR ((((triple3) -> rule4)) -> rule7) OR ((((triple4) -> rule5)) -> rule7) OR ((((((triple4) -> rule1)) -> rule4)) -> rule7))]
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple1
((triple3) -> (rule4 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
((triple4) -> (rule5 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
((((triple4) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
((((triple5) -> (rule3 % int2))) -> (rule5 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
((((((triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is green.
("rabbit" "is" "green" "+")
triple2
((triple3) -> (rule6 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
((triple4 triple1) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
((((triple4) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
((triple4 ((triple3) -> (rule4 % int2))) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
((triple4 ((triple4) -> (rule5 % int2))) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
((((triple1) -> (rule2 % int2)) triple1) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
((((triple5) -> (rule3 % int2)) triple1) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
((((triple1) -> (rule2 % int3)) ((triple3) -> (rule4 % int2))) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
((((triple1) -> (rule2 % int3)) ((triple4) -> (rule5 % int2))) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
((((triple5) -> (rule3 % int3)) ((triple3) -> (rule4 % int2))) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
((((triple5) -> (rule3 % int3)) ((triple4) -> (rule5 % int2))) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
((((((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
((((((triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
((triple4 ((((triple4) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
((triple4 ((((triple5) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
((((((triple1) -> (rule7 % int3))) -> (rule3 % int2)) triple1) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
((((((triple3) -> (rule4 % int3))) -> (rule2 % int2)) triple1) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
((((triple1) -> (rule2 % int4)) ((((triple4) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
((((triple1) -> (rule2 % int3)) ((((triple5) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
((((triple5) -> (rule3 % int4)) ((((triple4) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
((((triple5) -> (rule3 % int3)) ((((triple5) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
((((((triple1) -> (rule7 % int4))) -> (rule3 % int3)) ((triple3) -> (rule4 % int2))) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
((((((triple1) -> (rule7 % int4))) -> (rule3 % int3)) ((triple4) -> (rule5 % int2))) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
((((((triple3) -> (rule4 % int3))) -> (rule2 % int2)) ((triple3) -> (rule4 % int3))) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
((((((triple3) -> (rule4 % int3))) -> (rule2 % int2)) ((triple4) -> (rule5 % int3))) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
((((((triple1) -> (rule7 % int5))) -> (rule3 % int4)) ((((triple4) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
The rabbit is round.
("rabbit" "is" "round" "+")
int5
((((((triple1) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple5) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
((((((triple3) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple4) -> (rule1 % int2))) -> (rule4 % int4))) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
((((((triple3) -> (rule4 % int3))) -> (rule2 % int2)) ((((triple5) -> (rule3 % int2))) -> (rule5 % int3))) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
((((((((triple1) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
((triple4 ((((((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
((((((((triple3) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple1) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
((((triple1) -> (rule2 % int4)) ((((((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
((((triple5) -> (rule3 % int4)) ((((((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
((((((((triple3) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) ((triple3) -> (rule4 % int4))) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
((((((((triple3) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) ((triple4) -> (rule5 % int4))) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
((((((triple1) -> (rule7 % int5))) -> (rule3 % int4)) ((((((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
int4
The rabbit is round.
("rabbit" "is" "round" "+")
int5
((((((triple3) -> (rule4 % int4))) -> (rule2 % int3)) ((((((triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int4))) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
((((((((triple3) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple4) -> (rule1 % int2))) -> (rule4 % int5))) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
((((((((triple3) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) ((((triple5) -> (rule3 % int2))) -> (rule5 % int4))) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
((((((((triple3) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((((triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int5))) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple3
((triple4) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
((((triple5) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
((((((triple1) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple4
((triple1) -> (rule2 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
((triple5) -> (rule3 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
((((triple1) -> (rule7 % int2))) -> (rule3 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
((((triple3) -> (rule4 % int2))) -> (rule2 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
((((((triple3) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
triple5
((triple1) -> (rule7 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
((((triple3) -> (rule4 % int2))) -> (rule7 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
((((triple4) -> (rule5 % int2))) -> (rule7 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
((((((triple4) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3