The rabbit chases the squirrel. The rabbit is big. The rabbit is kind. The rabbit is nice. The rabbit is red. The rabbit is round. The rabbit likes the squirrel. The rabbit visits the squirrel. The squirrel chases the rabbit. The squirrel is big. The squirrel is kind. The squirrel is nice. The squirrel is red. The squirrel is round. The squirrel likes the rabbit. The squirrel visits the rabbit. If something likes the rabbit and it visits the rabbit then the rabbit is nice. If something chases the squirrel and the squirrel visits the rabbit then the squirrel chases the rabbit. If something chases the squirrel then it is round. If something is nice then it likes the rabbit. If something visits the squirrel then it likes the rabbit. If something is big and it visits the squirrel then the squirrel likes the rabbit. If something visits the rabbit then the rabbit visits the squirrel. If something likes the rabbit and the rabbit visits the squirrel then the squirrel chases the rabbit.
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If something likes the rabbit and it visits the rabbit then the rabbit is nice.
((("something" "likes" "rabbit" "+") ("something" "visits" "rabbit" "+")) -> ("rabbit" "is" "nice" "+"))
If something chases the squirrel and the squirrel visits the rabbit then the squirrel chases the rabbit.
((("something" "chases" "squirrel" "+") ("squirrel" "visits" "rabbit" "+")) -> ("squirrel" "chases" "rabbit" "+"))
If something chases the squirrel then it is round.
((("something" "chases" "squirrel" "+")) -> ("something" "is" "round" "+"))
If something is nice then it likes the rabbit.
((("something" "is" "nice" "+")) -> ("something" "likes" "rabbit" "+"))
If something visits the squirrel then it likes the rabbit.
((("something" "visits" "squirrel" "+")) -> ("something" "likes" "rabbit" "+"))
If something is big and it visits the squirrel then the squirrel likes the rabbit.
((("something" "is" "big" "+") ("something" "visits" "squirrel" "+")) -> ("squirrel" "likes" "rabbit" "+"))
If something visits the rabbit then the rabbit visits the squirrel.
((("something" "visits" "rabbit" "+")) -> ("rabbit" "visits" "squirrel" "+"))
If something likes the rabbit and the rabbit visits the squirrel then the squirrel chases the rabbit.
((("something" "likes" "rabbit" "+") ("rabbit" "visits" "squirrel" "+")) -> ("squirrel" "chases" "rabbit" "+"))
The squirrel visits the rabbit.
True
1
proof
[(triple16)]
("squirrel" "visits" "rabbit" "+")
triple16
The rabbit is not big.
False
1
inv-proof
[(triple2)]
("rabbit" "is" "big" "-")
triple2
The rabbit likes the rabbit.
True
2
proof
[(((triple4) -> rule4) OR ((triple8) -> rule5) OR ((((triple16) -> rule7)) -> rule5) OR ((((triple15 triple16) -> rule1)) -> rule4) OR ((((((triple12) -> rule4) triple16) -> rule1)) -> rule4) OR ((((((triple2 triple8) -> rule6) triple16) -> rule1)) -> rule4) OR ((((((triple2 ((triple16) -> rule7)) -> rule6) triple16) -> rule1)) -> rule4))]
("rabbit" "likes" "rabbit" "+")
((triple4) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
((triple8) -> (rule5 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
((((triple16) -> (rule7 % int2))) -> (rule5 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
int2
((((triple15 triple16) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
((((((triple12) -> (rule4 % int3)) triple16) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int3
((((((triple2 triple8) -> (rule6 % int3)) triple16) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int3
((((((triple2 ((triple16) -> (rule7 % int4))) -> (rule6 % int3)) triple16) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int3
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
int4
The rabbit does not like the rabbit.
False
2
inv-proof
[(((triple4) -> rule4) OR ((triple8) -> rule5) OR ((((triple16) -> rule7)) -> rule5) OR ((((triple15 triple16) -> rule1)) -> rule4) OR ((((((triple12) -> rule4) triple16) -> rule1)) -> rule4) OR ((((((triple2 triple8) -> rule6) triple16) -> rule1)) -> rule4) OR ((((((triple2 ((triple16) -> rule7)) -> rule6) triple16) -> rule1)) -> rule4))]
("rabbit" "likes" "rabbit" "-")
((triple4) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
((triple8) -> (rule5 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
((((triple16) -> (rule7 % int2))) -> (rule5 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
int2
((((triple15 triple16) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
((((((triple12) -> (rule4 % int3)) triple16) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int3
((((((triple2 triple8) -> (rule6 % int3)) triple16) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int3
((((((triple2 ((triple16) -> (rule7 % int4))) -> (rule6 % int3)) triple16) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int3
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
int4
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
The rabbit does not visit the rabbit.
Unknown
inv-random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The rabbit chases the squirrel.[(triple1)] The rabbit is big.[(triple2)] The rabbit is kind.[(triple3)] The rabbit is nice.[(triple4 OR ((triple15 triple16) -> rule1) OR ((((triple12) -> rule4) triple16) -> rule1) OR ((((triple2 triple8) -> rule6) triple16) -> rule1) OR ((((triple2 ((triple16) -> rule7)) -> rule6) triple16) -> rule1))] The rabbit is red.[(triple5)] The rabbit is round.[(triple6 OR ((triple1) -> rule3))] The rabbit likes the squirrel.[(triple7)] The rabbit visits the squirrel.[(triple8 OR ((triple16) -> rule7))] The squirrel chases the rabbit.[(triple9 OR ((triple1 triple16) -> rule2) OR ((triple15 triple8) -> rule8) OR ((triple15 ((triple16) -> rule7)) -> rule8) OR ((((triple12) -> rule4) triple8) -> rule8) OR ((((triple4) -> rule4) triple8) -> rule8) OR ((((triple8) -> rule5) triple8) -> rule8) OR ((((triple2 triple8) -> rule6) triple8) -> rule8) OR ((((triple12) -> rule4) ((triple16) -> rule7)) -> rule8) OR ((((triple4) -> rule4) ((triple16) -> rule7)) -> rule8) OR ((((triple8) -> rule5) ((triple16) -> rule7)) -> rule8) OR ((((triple2 triple8) -> rule6) ((triple16) -> rule7)) -> rule8) OR ((((((triple16) -> rule7)) -> rule5) triple8) -> rule8) OR ((((((triple15 triple16) -> rule1)) -> rule4) triple8) -> rule8) OR ((((triple2 ((triple16) -> rule7)) -> rule6) triple8) -> rule8) OR ((((((triple16) -> rule7)) -> rule5) ((triple16) -> rule7)) -> rule8) OR ((((((triple15 triple16) -> rule1)) -> rule4) ((triple16) -> rule7)) -> rule8) OR ((((triple2 ((triple16) -> rule7)) -> rule6) ((triple16) -> rule7)) -> rule8) OR ((((((((triple12) -> rule4) triple16) -> rule1)) -> rule4) triple8) -> rule8) OR ((((((((triple2 triple8) -> rule6) triple16) -> rule1)) -> rule4) triple8) -> rule8) OR ((((((((triple12) -> rule4) triple16) -> rule1)) -> rule4) ((triple16) -> rule7)) -> rule8) OR ((((((((triple2 triple8) -> rule6) triple16) -> rule1)) -> rule4) ((triple16) -> rule7)) -> rule8) OR ((((((((triple2 ((triple16) -> rule7)) -> rule6) triple16) -> rule1)) -> rule4) triple8) -> rule8) OR ((((((((triple2 ((triple16) -> rule7)) -> rule6) triple16) -> rule1)) -> rule4) ((triple16) -> rule7)) -> rule8))] The squirrel is big.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is red.[(triple13)] The squirrel is round.[(triple14)] The squirrel likes the rabbit.[(triple15 OR ((triple12) -> rule4) OR ((triple2 triple8) -> rule6) OR ((triple2 ((triple16) -> rule7)) -> rule6))] The squirrel visits the rabbit.[(triple16)] @1: The rabbit likes the rabbit.[(((triple4) -> rule4) OR ((triple8) -> rule5) OR ((((triple16) -> rule7)) -> rule5) OR ((((triple15 triple16) -> rule1)) -> rule4) OR ((((((triple12) -> rule4) triple16) -> rule1)) -> rule4) OR ((((((triple2 triple8) -> rule6) triple16) -> rule1)) -> rule4) OR ((((((triple2 ((triple16) -> rule7)) -> rule6) triple16) -> rule1)) -> rule4))]
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple1
The rabbit is big.
("rabbit" "is" "big" "+")
triple2
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple3
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple4
((triple15 triple16) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
((((triple12) -> (rule4 % int2)) triple16) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int2
((((triple2 triple8) -> (rule6 % int2)) triple16) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int2
((((triple2 ((triple16) -> (rule7 % int3))) -> (rule6 % int2)) triple16) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int2
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
int3
The rabbit is red.
("rabbit" "is" "red" "+")
triple5
The rabbit is round.
("rabbit" "is" "round" "+")
triple6
((triple1) -> (rule3 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple7
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple8
((triple16) -> (rule7 % int1))
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
int1
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple9
((triple1 triple16) -> (rule2 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
((triple15 triple8) -> (rule8 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
((triple15 ((triple16) -> (rule7 % int2))) -> (rule8 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
int2
((((triple12) -> (rule4 % int2)) triple8) -> (rule8 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int2
((((triple4) -> (rule4 % int2)) triple8) -> (rule8 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
((((triple8) -> (rule5 % int2)) triple8) -> (rule8 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
((((triple2 triple8) -> (rule6 % int2)) triple8) -> (rule8 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int2
((((triple12) -> (rule4 % int3)) ((triple16) -> (rule7 % int2))) -> (rule8 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
int2
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int3
((((triple4) -> (rule4 % int3)) ((triple16) -> (rule7 % int2))) -> (rule8 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
((((triple8) -> (rule5 % int3)) ((triple16) -> (rule7 % int2))) -> (rule8 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
((((triple2 triple8) -> (rule6 % int3)) ((triple16) -> (rule7 % int2))) -> (rule8 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
int2
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int3
((((((triple16) -> (rule7 % int3))) -> (rule5 % int2)) triple8) -> (rule8 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
int3
((((((triple15 triple16) -> (rule1 % int3))) -> (rule4 % int2)) triple8) -> (rule8 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
((((triple2 ((triple16) -> (rule7 % int3))) -> (rule6 % int2)) triple8) -> (rule8 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int2
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
int3
((((((triple16) -> (rule7 % int3))) -> (rule5 % int2)) ((triple16) -> (rule7 % int3))) -> (rule8 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
int3
((((((triple15 triple16) -> (rule1 % int4))) -> (rule4 % int3)) ((triple16) -> (rule7 % int2))) -> (rule8 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
The rabbit is nice.
("rabbit" "is" "nice" "+")
int4
((((triple2 ((triple16) -> (rule7 % int3))) -> (rule6 % int2)) ((triple16) -> (rule7 % int3))) -> (rule8 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int2
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
int3
((((((((triple12) -> (rule4 % int4)) triple16) -> (rule1 % int3))) -> (rule4 % int2)) triple8) -> (rule8 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int4
((((((((triple2 triple8) -> (rule6 % int4)) triple16) -> (rule1 % int3))) -> (rule4 % int2)) triple8) -> (rule8 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int4
((((((((triple12) -> (rule4 % int5)) triple16) -> (rule1 % int4))) -> (rule4 % int3)) ((triple16) -> (rule7 % int2))) -> (rule8 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
The rabbit is nice.
("rabbit" "is" "nice" "+")
int4
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int5
((((((((triple2 triple8) -> (rule6 % int5)) triple16) -> (rule1 % int4))) -> (rule4 % int3)) ((triple16) -> (rule7 % int2))) -> (rule8 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
The rabbit is nice.
("rabbit" "is" "nice" "+")
int4
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int5
((((((((triple2 ((triple16) -> (rule7 % int5))) -> (rule6 % int4)) triple16) -> (rule1 % int3))) -> (rule4 % int2)) triple8) -> (rule8 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int4
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
int5
((((((((triple2 ((triple16) -> (rule7 % int5))) -> (rule6 % int4)) triple16) -> (rule1 % int3))) -> (rule4 % int2)) ((triple16) -> (rule7 % int5))) -> (rule8 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int4
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
int5
The squirrel is big.
("squirrel" "is" "big" "+")
triple10
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple11
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple12
The squirrel is red.
("squirrel" "is" "red" "+")
triple13
The squirrel is round.
("squirrel" "is" "round" "+")
triple14
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple15
((triple12) -> (rule4 % int1))
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int1
((triple2 triple8) -> (rule6 % int1))
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int1
((triple2 ((triple16) -> (rule7 % int2))) -> (rule6 % int1))
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int1
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
int2
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple16
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((triple4) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
((triple8) -> (rule5 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
((((triple16) -> (rule7 % int2))) -> (rule5 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
int2
((((triple15 triple16) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
((((((triple12) -> (rule4 % int3)) triple16) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int3
((((((triple2 triple8) -> (rule6 % int3)) triple16) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int3
((((((triple2 ((triple16) -> (rule7 % int4))) -> (rule6 % int3)) triple16) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int3
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
int4