The rabbit is big. The rabbit is cold. The rabbit is green. The rabbit is red. The rabbit is young. If something is big then it is green. Young, green things are cold. If something is big and young then it is red. Cold, young things are big. Cold things are young. If the rabbit is big and the rabbit is green then the rabbit is young.
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
If something is big then it is green.
((("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
Young, green things are cold.
((("something" "is" "young" "+") ("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
If something is big and young then it is red.
((("something" "is" "big" "+") ("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
Cold, young things are big.
((("something" "is" "cold" "+") ("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
Cold things are young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
If the rabbit is big and the rabbit is green then the rabbit is young.
((("rabbit" "is" "big" "+") ("rabbit" "is" "green" "+")) -> ("rabbit" "is" "young" "+"))
The rabbit is green.
True
1
proof
[(triple3 OR ((triple1) -> rule1) OR ((((triple2 triple5) -> rule4)) -> rule1) OR ((((triple2 ((triple2) -> rule5)) -> rule4)) -> rule1))]
("rabbit" "is" "green" "+")
triple3
((triple1) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
((((triple2 triple5) -> (rule4 % int2))) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
((((triple2 ((triple2) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is young.
("rabbit" "is" "young" "+")
int3
The rabbit is not red.
False
1
inv-proof
[(triple4 OR ((triple1 triple5) -> rule3) OR ((triple1 ((triple2) -> rule5)) -> rule3) OR ((triple1 ((triple1 triple3) -> rule6)) -> rule3) OR ((((triple2 triple5) -> rule4) triple5) -> rule3) OR ((((triple2 triple5) -> rule4) ((triple2) -> rule5)) -> rule3) OR ((((triple2 triple5) -> rule4) ((triple1 triple3) -> rule6)) -> rule3) OR ((triple1 ((triple1 ((triple1) -> rule1)) -> rule6)) -> rule3) OR ((((triple2 ((triple2) -> rule5)) -> rule4) triple5) -> rule3) OR ((((((triple5 triple3) -> rule2) triple5) -> rule4) triple5) -> rule3) OR ((((triple2 triple5) -> rule4) ((triple1 ((triple1) -> rule1)) -> rule6)) -> rule3) OR ((((triple2 ((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule3) OR ((((triple2 ((triple2) -> rule5)) -> rule4) ((triple1 triple3) -> rule6)) -> rule3) OR ((((((triple5 triple3) -> rule2) triple5) -> rule4) ((triple2) -> rule5)) -> rule3) OR ((((((triple5 triple3) -> rule2) triple5) -> rule4) ((triple1 triple3) -> rule6)) -> rule3) OR ((((((triple5 triple3) -> rule2) ((triple2) -> rule5)) -> rule4) triple5) -> rule3) OR ((((triple2 ((triple2) -> rule5)) -> rule4) ((triple1 ((triple1) -> rule1)) -> rule6)) -> rule3) OR ((((((triple5 triple3) -> rule2) triple5) -> rule4) ((triple1 ((triple1) -> rule1)) -> rule6)) -> rule3) OR ((((((triple5 triple3) -> rule2) ((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule3) OR ((((((triple5 triple3) -> rule2) ((triple2) -> rule5)) -> rule4) ((triple1 triple3) -> rule6)) -> rule3) OR ((((((triple5 triple3) -> rule2) ((triple2) -> rule5)) -> rule4) ((triple1 ((triple1) -> rule1)) -> rule6)) -> rule3))]
("rabbit" "is" "red" "-")
triple4
((triple1 triple5) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
((triple1 ((triple2) -> (rule5 % int2))) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
((triple1 ((triple1 triple3) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
((((triple2 triple5) -> (rule4 % int2)) triple5) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
((((triple2 triple5) -> (rule4 % int3)) ((triple2) -> (rule5 % int2))) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((((triple2 triple5) -> (rule4 % int3)) ((triple1 triple3) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((triple1 ((triple1 ((triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
((((triple2 ((triple2) -> (rule5 % int3))) -> (rule4 % int2)) triple5) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is young.
("rabbit" "is" "young" "+")
int3
((((((triple5 triple3) -> (rule2 % int3)) triple5) -> (rule4 % int2)) triple5) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is cold.
("rabbit" "is" "cold" "+")
int3
((((triple2 triple5) -> (rule4 % int4)) ((triple1 ((triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
((((triple2 ((triple2) -> (rule5 % int3))) -> (rule4 % int2)) ((triple2) -> (rule5 % int3))) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is young.
("rabbit" "is" "young" "+")
int3
((((triple2 ((triple2) -> (rule5 % int3))) -> (rule4 % int2)) ((triple1 triple3) -> (rule6 % int3))) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is young.
("rabbit" "is" "young" "+")
int3
((((((triple5 triple3) -> (rule2 % int4)) triple5) -> (rule4 % int3)) ((triple2) -> (rule5 % int2))) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is cold.
("rabbit" "is" "cold" "+")
int4
((((((triple5 triple3) -> (rule2 % int4)) triple5) -> (rule4 % int3)) ((triple1 triple3) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is cold.
("rabbit" "is" "cold" "+")
int4
((((((triple5 triple3) -> (rule2 % int4)) ((triple2) -> (rule5 % int3))) -> (rule4 % int2)) triple5) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is young.
("rabbit" "is" "young" "+")
int3
The rabbit is cold.
("rabbit" "is" "cold" "+")
int4
((((triple2 ((triple2) -> (rule5 % int4))) -> (rule4 % int3)) ((triple1 ((triple1) -> (rule1 % int2))) -> (rule6 % int4))) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is young.
("rabbit" "is" "young" "+")
int4
((((((triple5 triple3) -> (rule2 % int5)) triple5) -> (rule4 % int4)) ((triple1 ((triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit is cold.
("rabbit" "is" "cold" "+")
int5
((((((triple5 triple3) -> (rule2 % int4)) ((triple2) -> (rule5 % int3))) -> (rule4 % int2)) ((triple2) -> (rule5 % int3))) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is young.
("rabbit" "is" "young" "+")
int3
The rabbit is cold.
("rabbit" "is" "cold" "+")
int4
((((((triple5 triple3) -> (rule2 % int4)) ((triple2) -> (rule5 % int3))) -> (rule4 % int2)) ((triple1 triple3) -> (rule6 % int3))) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is young.
("rabbit" "is" "young" "+")
int3
The rabbit is cold.
("rabbit" "is" "cold" "+")
int4
((((((triple5 triple3) -> (rule2 % int5)) ((triple2) -> (rule5 % int4))) -> (rule4 % int3)) ((triple1 ((triple1) -> (rule1 % int2))) -> (rule6 % int4))) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is young.
("rabbit" "is" "young" "+")
int4
The rabbit is cold.
("rabbit" "is" "cold" "+")
int5
The rabbit does not like the rabbit.
Unknown
inv-random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
@0: The rabbit is big.[(triple1 OR ((triple2 triple5) -> rule4) OR ((triple2 ((triple2) -> rule5)) -> rule4) OR ((((triple5 triple3) -> rule2) triple5) -> rule4) OR ((((triple5 triple3) -> rule2) ((triple2) -> rule5)) -> rule4))] The rabbit is cold.[(triple2 OR ((triple5 triple3) -> rule2) OR ((triple5 ((triple1) -> rule1)) -> rule2) OR ((((triple1 triple3) -> rule6) triple3) -> rule2) OR ((((triple1 triple3) -> rule6) ((triple1) -> rule1)) -> rule2) OR ((((triple1 ((triple1) -> rule1)) -> rule6) triple3) -> rule2) OR ((((triple1 ((triple1) -> rule1)) -> rule6) ((triple1) -> rule1)) -> rule2))] The rabbit is green.[(triple3 OR ((triple1) -> rule1) OR ((((triple2 triple5) -> rule4)) -> rule1) OR ((((triple2 ((triple2) -> rule5)) -> rule4)) -> rule1))] The rabbit is red.[(triple4 OR ((triple1 triple5) -> rule3) OR ((triple1 ((triple2) -> rule5)) -> rule3) OR ((triple1 ((triple1 triple3) -> rule6)) -> rule3) OR ((((triple2 triple5) -> rule4) triple5) -> rule3) OR ((((triple2 triple5) -> rule4) ((triple2) -> rule5)) -> rule3) OR ((((triple2 triple5) -> rule4) ((triple1 triple3) -> rule6)) -> rule3) OR ((triple1 ((triple1 ((triple1) -> rule1)) -> rule6)) -> rule3) OR ((((triple2 ((triple2) -> rule5)) -> rule4) triple5) -> rule3) OR ((((((triple5 triple3) -> rule2) triple5) -> rule4) triple5) -> rule3) OR ((((triple2 triple5) -> rule4) ((triple1 ((triple1) -> rule1)) -> rule6)) -> rule3) OR ((((triple2 ((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule3) OR ((((triple2 ((triple2) -> rule5)) -> rule4) ((triple1 triple3) -> rule6)) -> rule3) OR ((((((triple5 triple3) -> rule2) triple5) -> rule4) ((triple2) -> rule5)) -> rule3) OR ((((((triple5 triple3) -> rule2) triple5) -> rule4) ((triple1 triple3) -> rule6)) -> rule3) OR ((((((triple5 triple3) -> rule2) ((triple2) -> rule5)) -> rule4) triple5) -> rule3) OR ((((triple2 ((triple2) -> rule5)) -> rule4) ((triple1 ((triple1) -> rule1)) -> rule6)) -> rule3) OR ((((((triple5 triple3) -> rule2) triple5) -> rule4) ((triple1 ((triple1) -> rule1)) -> rule6)) -> rule3) OR ((((((triple5 triple3) -> rule2) ((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule3) OR ((((((triple5 triple3) -> rule2) ((triple2) -> rule5)) -> rule4) ((triple1 triple3) -> rule6)) -> rule3) OR ((((((triple5 triple3) -> rule2) ((triple2) -> rule5)) -> rule4) ((triple1 ((triple1) -> rule1)) -> rule6)) -> rule3))] The rabbit is young.[(triple5 OR ((triple2) -> rule5) OR ((triple1 triple3) -> rule6) OR ((triple1 ((triple1) -> rule1)) -> rule6))]
The rabbit is big.
("rabbit" "is" "big" "+")
triple1
((triple2 triple5) -> (rule4 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
((triple2 ((triple2) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
((((triple5 triple3) -> (rule2 % int2)) triple5) -> (rule4 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
((((triple5 triple3) -> (rule2 % int3)) ((triple2) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit is cold.
("rabbit" "is" "cold" "+")
int3
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple2
((triple5 triple3) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
((triple5 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
((((triple1 triple3) -> (rule6 % int2)) triple3) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
((((triple1 triple3) -> (rule6 % int3)) ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is young.
("rabbit" "is" "young" "+")
int3
((((triple1 ((triple1) -> (rule1 % int3))) -> (rule6 % int2)) triple3) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
((((triple1 ((triple1) -> (rule1 % int3))) -> (rule6 % int2)) ((triple1) -> (rule1 % int3))) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is green.
("rabbit" "is" "green" "+")
triple3
((triple1) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
((((triple2 triple5) -> (rule4 % int2))) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
((((triple2 ((triple2) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is young.
("rabbit" "is" "young" "+")
int3
The rabbit is red.
("rabbit" "is" "red" "+")
triple4
((triple1 triple5) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
((triple1 ((triple2) -> (rule5 % int2))) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
((triple1 ((triple1 triple3) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
((((triple2 triple5) -> (rule4 % int2)) triple5) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
((((triple2 triple5) -> (rule4 % int3)) ((triple2) -> (rule5 % int2))) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((((triple2 triple5) -> (rule4 % int3)) ((triple1 triple3) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((triple1 ((triple1 ((triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
((((triple2 ((triple2) -> (rule5 % int3))) -> (rule4 % int2)) triple5) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is young.
("rabbit" "is" "young" "+")
int3
((((((triple5 triple3) -> (rule2 % int3)) triple5) -> (rule4 % int2)) triple5) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is cold.
("rabbit" "is" "cold" "+")
int3
((((triple2 triple5) -> (rule4 % int4)) ((triple1 ((triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
((((triple2 ((triple2) -> (rule5 % int3))) -> (rule4 % int2)) ((triple2) -> (rule5 % int3))) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is young.
("rabbit" "is" "young" "+")
int3
((((triple2 ((triple2) -> (rule5 % int3))) -> (rule4 % int2)) ((triple1 triple3) -> (rule6 % int3))) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is young.
("rabbit" "is" "young" "+")
int3
((((((triple5 triple3) -> (rule2 % int4)) triple5) -> (rule4 % int3)) ((triple2) -> (rule5 % int2))) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is cold.
("rabbit" "is" "cold" "+")
int4
((((((triple5 triple3) -> (rule2 % int4)) triple5) -> (rule4 % int3)) ((triple1 triple3) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is cold.
("rabbit" "is" "cold" "+")
int4
((((((triple5 triple3) -> (rule2 % int4)) ((triple2) -> (rule5 % int3))) -> (rule4 % int2)) triple5) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is young.
("rabbit" "is" "young" "+")
int3
The rabbit is cold.
("rabbit" "is" "cold" "+")
int4
((((triple2 ((triple2) -> (rule5 % int4))) -> (rule4 % int3)) ((triple1 ((triple1) -> (rule1 % int2))) -> (rule6 % int4))) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is young.
("rabbit" "is" "young" "+")
int4
((((((triple5 triple3) -> (rule2 % int5)) triple5) -> (rule4 % int4)) ((triple1 ((triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit is cold.
("rabbit" "is" "cold" "+")
int5
((((((triple5 triple3) -> (rule2 % int4)) ((triple2) -> (rule5 % int3))) -> (rule4 % int2)) ((triple2) -> (rule5 % int3))) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is young.
("rabbit" "is" "young" "+")
int3
The rabbit is cold.
("rabbit" "is" "cold" "+")
int4
((((((triple5 triple3) -> (rule2 % int4)) ((triple2) -> (rule5 % int3))) -> (rule4 % int2)) ((triple1 triple3) -> (rule6 % int3))) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is young.
("rabbit" "is" "young" "+")
int3
The rabbit is cold.
("rabbit" "is" "cold" "+")
int4
((((((triple5 triple3) -> (rule2 % int5)) ((triple2) -> (rule5 % int4))) -> (rule4 % int3)) ((triple1 ((triple1) -> (rule1 % int2))) -> (rule6 % int4))) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is young.
("rabbit" "is" "young" "+")
int4
The rabbit is cold.
("rabbit" "is" "cold" "+")
int5
The rabbit is young.
("rabbit" "is" "young" "+")
triple5
((triple2) -> (rule5 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
((triple1 triple3) -> (rule6 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
((triple1 ((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2