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