The rabbit is big. The rabbit is blue. The rabbit is young. If someone is blue and young then they are big. If someone is blue then they are big. All cold people are young. If someone is blue and big then they are cold. All big people are cold. If someone is big then they are cold. All cold, blue people are green. If someone is cold and not young then they are green.
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
If someone is blue and young then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is blue then they are big.
((("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
All cold people are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and big then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
All big people are cold.
((("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is big then they are cold.
((("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
All cold, blue people are green.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and not young then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "green" "+"))
The rabbit is young.
True
1
proof
[(triple3 OR ((((triple1) -> rule5)) -> rule3) OR ((((triple1) -> rule6)) -> rule3) OR ((((triple2 triple1) -> rule4)) -> rule3) OR ((((((triple2) -> rule2)) -> rule5)) -> rule3) OR ((((((triple2) -> rule2)) -> rule6)) -> rule3) OR ((((triple2 ((triple2) -> rule2)) -> rule4)) -> rule3))]
("rabbit" "is" "young" "+")
triple3
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
((((triple2 triple1) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
((((((triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((((((triple2) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((((triple2 ((triple2) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is not young.
False
1
inv-proof
[(triple3 OR ((((triple1) -> rule5)) -> rule3) OR ((((triple1) -> rule6)) -> rule3) OR ((((triple2 triple1) -> rule4)) -> rule3) OR ((((((triple2) -> rule2)) -> rule5)) -> rule3) OR ((((((triple2) -> rule2)) -> rule6)) -> rule3) OR ((((triple2 ((triple2) -> rule2)) -> rule4)) -> rule3))]
("rabbit" "is" "young" "-")
triple3
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
((((triple2 triple1) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
((((((triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((((((triple2) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((((triple2 ((triple2) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is cold.
True
2
proof
[(((triple1) -> rule5) OR ((triple1) -> rule6) OR ((triple2 triple1) -> rule4) OR ((((triple2) -> rule2)) -> rule5) OR ((((triple2) -> rule2)) -> rule6) OR ((((triple2 triple3) -> rule1)) -> rule5) OR ((((triple2 triple3) -> rule1)) -> rule6) OR ((triple2 ((triple2) -> rule2)) -> rule4) OR ((triple2 ((triple2 triple3) -> rule1)) -> rule4))]
("rabbit" "is" "cold" "+")
((triple1) -> (rule5 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
((triple1) -> (rule6 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
((triple2 triple1) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule5 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
((((triple2) -> (rule2 % int2))) -> (rule6 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
((((triple2 triple3) -> (rule1 % int2))) -> (rule5 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
((((triple2 triple3) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
((triple2 ((triple2) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
((triple2 ((triple2 triple3) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is not cold.
False
2
inv-proof
[(((triple1) -> rule5) OR ((triple1) -> rule6) OR ((triple2 triple1) -> rule4) OR ((((triple2) -> rule2)) -> rule5) OR ((((triple2) -> rule2)) -> rule6) OR ((((triple2 triple3) -> rule1)) -> rule5) OR ((((triple2 triple3) -> rule1)) -> rule6) OR ((triple2 ((triple2) -> rule2)) -> rule4) OR ((triple2 ((triple2 triple3) -> rule1)) -> rule4))]
("rabbit" "is" "cold" "-")
((triple1) -> (rule5 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
((triple1) -> (rule6 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
((triple2 triple1) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule5 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
((((triple2) -> (rule2 % int2))) -> (rule6 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
((((triple2 triple3) -> (rule1 % int2))) -> (rule5 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
((((triple2 triple3) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
((triple2 ((triple2) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
((triple2 ((triple2 triple3) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is green.
True
4
proof
[(((((triple1) -> rule5) triple2) -> rule7) OR ((((triple1) -> rule6) triple2) -> rule7) OR ((((triple2 triple1) -> rule4) triple2) -> rule7) OR ((((((triple2) -> rule2)) -> rule5) triple2) -> rule7) OR ((((((triple2) -> rule2)) -> rule6) triple2) -> rule7) OR ((((((triple2 triple3) -> rule1)) -> rule5) triple2) -> rule7) OR ((((((triple2 triple3) -> rule1)) -> rule6) triple2) -> rule7) OR ((((triple2 ((triple2) -> rule2)) -> rule4) triple2) -> rule7) OR ((((triple2 ((triple2 triple3) -> rule1)) -> rule4) triple2) -> rule7))]
("rabbit" "is" "green" "+")
((((triple1) -> (rule5 % int2)) triple2) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
((((triple1) -> (rule6 % int2)) triple2) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
((((triple2 triple1) -> (rule4 % int2)) triple2) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
((((((triple2) -> (rule2 % int3))) -> (rule5 % int2)) triple2) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((((((triple2) -> (rule2 % int3))) -> (rule6 % int2)) triple2) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((((((triple2 triple3) -> (rule1 % int3))) -> (rule5 % int2)) triple2) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((((((triple2 triple3) -> (rule1 % int3))) -> (rule6 % int2)) triple2) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((((triple2 ((triple2) -> (rule2 % int3))) -> (rule4 % int2)) triple2) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((((triple2 ((triple2 triple3) -> (rule1 % int3))) -> (rule4 % int2)) triple2) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is not green.
False
4
inv-proof
[(((((triple1) -> rule5) triple2) -> rule7) OR ((((triple1) -> rule6) triple2) -> rule7) OR ((((triple2 triple1) -> rule4) triple2) -> rule7) OR ((((((triple2) -> rule2)) -> rule5) triple2) -> rule7) OR ((((((triple2) -> rule2)) -> rule6) triple2) -> rule7) OR ((((((triple2 triple3) -> rule1)) -> rule5) triple2) -> rule7) OR ((((((triple2 triple3) -> rule1)) -> rule6) triple2) -> rule7) OR ((((triple2 ((triple2) -> rule2)) -> rule4) triple2) -> rule7) OR ((((triple2 ((triple2 triple3) -> rule1)) -> rule4) triple2) -> rule7))]
("rabbit" "is" "green" "-")
((((triple1) -> (rule5 % int2)) triple2) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
((((triple1) -> (rule6 % int2)) triple2) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
((((triple2 triple1) -> (rule4 % int2)) triple2) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
((((((triple2) -> (rule2 % int3))) -> (rule5 % int2)) triple2) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((((((triple2) -> (rule2 % int3))) -> (rule6 % int2)) triple2) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((((((triple2 triple3) -> (rule1 % int3))) -> (rule5 % int2)) triple2) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((((((triple2 triple3) -> (rule1 % int3))) -> (rule6 % int2)) triple2) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((((triple2 ((triple2) -> (rule2 % int3))) -> (rule4 % int2)) triple2) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((((triple2 ((triple2 triple3) -> (rule1 % int3))) -> (rule4 % int2)) triple2) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit does not need the rabbit.
Unknown
inv-random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
@0: The rabbit is big.[(triple1 OR ((triple2) -> rule2) OR ((triple2 triple3) -> rule1))] The rabbit is blue.[(triple2)] The rabbit is young.[(triple3 OR ((((triple1) -> rule5)) -> rule3) OR ((((triple1) -> rule6)) -> rule3) OR ((((triple2 triple1) -> rule4)) -> rule3) OR ((((((triple2) -> rule2)) -> rule5)) -> rule3) OR ((((((triple2) -> rule2)) -> rule6)) -> rule3) OR ((((triple2 ((triple2) -> rule2)) -> rule4)) -> rule3))] @1: The rabbit is cold.[(((triple1) -> rule5) OR ((triple1) -> rule6) OR ((triple2 triple1) -> rule4) OR ((((triple2) -> rule2)) -> rule5) OR ((((triple2) -> rule2)) -> rule6) OR ((((triple2 triple3) -> rule1)) -> rule5) OR ((((triple2 triple3) -> rule1)) -> rule6) OR ((triple2 ((triple2) -> rule2)) -> rule4) OR ((triple2 ((triple2 triple3) -> rule1)) -> rule4))] @2: The rabbit is green.[(((((triple1) -> rule5) triple2) -> rule7) OR ((((triple1) -> rule6) triple2) -> rule7) OR ((((triple2 triple1) -> rule4) triple2) -> rule7) OR ((((((triple2) -> rule2)) -> rule5) triple2) -> rule7) OR ((((((triple2) -> rule2)) -> rule6) triple2) -> rule7) OR ((((((triple2 triple3) -> rule1)) -> rule5) triple2) -> rule7) OR ((((((triple2 triple3) -> rule1)) -> rule6) triple2) -> rule7) OR ((((triple2 ((triple2) -> rule2)) -> rule4) triple2) -> rule7) OR ((((triple2 ((triple2 triple3) -> rule1)) -> rule4) triple2) -> rule7))]
The rabbit is big.
("rabbit" "is" "big" "+")
triple1
((triple2) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
((triple2 triple3) -> (rule1 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple2
The rabbit is young.
("rabbit" "is" "young" "+")
triple3
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
((((triple2 triple1) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
((((((triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((((((triple2) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((((triple2 ((triple2) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is cold.
("rabbit" "is" "cold" "+")
((triple1) -> (rule5 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
((triple1) -> (rule6 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
((triple2 triple1) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule5 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
((((triple2) -> (rule2 % int2))) -> (rule6 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
((((triple2 triple3) -> (rule1 % int2))) -> (rule5 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
((((triple2 triple3) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
((triple2 ((triple2) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
((triple2 ((triple2 triple3) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
((((triple1) -> (rule5 % int2)) triple2) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
((((triple1) -> (rule6 % int2)) triple2) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
((((triple2 triple1) -> (rule4 % int2)) triple2) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
((((((triple2) -> (rule2 % int3))) -> (rule5 % int2)) triple2) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((((((triple2) -> (rule2 % int3))) -> (rule6 % int2)) triple2) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((((((triple2 triple3) -> (rule1 % int3))) -> (rule5 % int2)) triple2) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((((((triple2 triple3) -> (rule1 % int3))) -> (rule6 % int2)) triple2) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((((triple2 ((triple2) -> (rule2 % int3))) -> (rule4 % int2)) triple2) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((((triple2 ((triple2 triple3) -> (rule1 % int3))) -> (rule4 % int2)) triple2) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3