The dog chases the rabbit. The dog is red. The dog likes the tiger. The dog needs the squirrel. The dog needs the tiger. The rabbit is kind. The rabbit is red. The squirrel chases the rabbit. The squirrel is kind. The squirrel is young. The squirrel likes the tiger. The tiger is blue. The tiger is cold. The tiger is red. The tiger likes the dog. The tiger needs the rabbit. If something chases the tiger and it is cold then it is blue. If something is young and blue then it likes the dog. If something likes the tiger then it is blue. If something is kind then it is young. If something needs the rabbit then it likes the dog. If something chases the dog and it is young then the dog is cold. If something chases the tiger then it chases the dog. If something likes the dog then it likes the rabbit. If something needs the tiger and the tiger likes the rabbit then the rabbit likes the tiger.
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog is red.
("dog" "is" "red" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger likes the dog.
("tiger" "likes" "dog" "+")
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
If something chases the tiger and it is cold then it is blue.
((("something" "chases" "tiger" "+") ("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
If something is young and blue then it likes the dog.
((("something" "is" "young" "+") ("something" "is" "blue" "+")) -> ("something" "likes" "dog" "+"))
If something likes the tiger then it is blue.
((("something" "likes" "tiger" "+")) -> ("something" "is" "blue" "+"))
If something is kind then it is young.
((("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
If something needs the rabbit then it likes the dog.
((("something" "needs" "rabbit" "+")) -> ("something" "likes" "dog" "+"))
If something chases the dog and it is young then the dog is cold.
((("something" "chases" "dog" "+") ("something" "is" "young" "+")) -> ("dog" "is" "cold" "+"))
If something chases the tiger then it chases the dog.
((("something" "chases" "tiger" "+")) -> ("something" "chases" "dog" "+"))
If something likes the dog then it likes the rabbit.
((("something" "likes" "dog" "+")) -> ("something" "likes" "rabbit" "+"))
If something needs the tiger and the tiger likes the rabbit then the rabbit likes the tiger.
((("something" "needs" "tiger" "+") ("tiger" "likes" "rabbit" "+")) -> ("rabbit" "likes" "tiger" "+"))
The tiger needs the rabbit.
True
1
proof
[(triple16)]
("tiger" "needs" "rabbit" "+")
triple16
The dog does not chase the rabbit.
False
1
inv-proof
[(triple1)]
("dog" "chases" "rabbit" "-")
triple1
The dog is blue.
True
2
proof
[(((triple3) -> rule3))]
("dog" "is" "blue" "+")
((triple3) -> (rule3 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog is not blue.
False
2
inv-proof
[(((triple3) -> rule3))]
("dog" "is" "blue" "-")
((triple3) -> (rule3 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The rabbit likes the tiger.
True
4
proof
[(((triple5 ((triple15) -> rule8)) -> rule9) OR ((triple5 ((((triple16) -> rule5)) -> rule8)) -> rule9))]
("rabbit" "likes" "tiger" "+")
((triple5 ((triple15) -> (rule8 % int2))) -> (rule9 % int1))
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int1
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int2
((triple5 ((((triple16) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int1
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int2
The tiger likes the dog.
("tiger" "likes" "dog" "+")
int3
The squirrel does not like the dog.
False
4
inv-proof
[(((triple10 ((triple11) -> rule3)) -> rule2) OR ((((triple9) -> rule4) ((triple11) -> rule3)) -> rule2))]
("squirrel" "likes" "dog" "-")
((triple10 ((triple11) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
((((triple9) -> (rule4 % int3)) ((triple11) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The rabbit is blue.
True
5
proof
[(((((triple5 ((triple15) -> rule8)) -> rule9)) -> rule3) OR ((((triple5 ((((triple16) -> rule5)) -> rule8)) -> rule9)) -> rule3))]
("rabbit" "is" "blue" "+")
((((triple5 ((triple15) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int2
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int3
((((triple5 ((((triple16) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int2
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int3
The tiger likes the dog.
("tiger" "likes" "dog" "+")
int4
The rabbit is not blue.
False
5
inv-proof
[(((((triple5 ((triple15) -> rule8)) -> rule9)) -> rule3) OR ((((triple5 ((((triple16) -> rule5)) -> rule8)) -> rule9)) -> rule3))]
("rabbit" "is" "blue" "-")
((((triple5 ((triple15) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int2
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int3
((((triple5 ((((triple16) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int2
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int3
The tiger likes the dog.
("tiger" "likes" "dog" "+")
int4
The rabbit likes the dog.
True
8
proof
[(((((triple6) -> rule4) ((((triple5 ((triple15) -> rule8)) -> rule9)) -> rule3)) -> rule2) OR ((((triple6) -> rule4) ((((triple5 ((((triple16) -> rule5)) -> rule8)) -> rule9)) -> rule3)) -> rule2))]
("rabbit" "likes" "dog" "+")
((((triple6) -> (rule4 % int5)) ((((triple5 ((triple15) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int3
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int4
The rabbit is young.
("rabbit" "is" "young" "+")
int5
((((triple6) -> (rule4 % int6)) ((((triple5 ((((triple16) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int3
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int4
The tiger likes the dog.
("tiger" "likes" "dog" "+")
int5
The rabbit is young.
("rabbit" "is" "young" "+")
int6
The rabbit does not like the dog.
False
8
inv-proof
[(((((triple6) -> rule4) ((((triple5 ((triple15) -> rule8)) -> rule9)) -> rule3)) -> rule2) OR ((((triple6) -> rule4) ((((triple5 ((((triple16) -> rule5)) -> rule8)) -> rule9)) -> rule3)) -> rule2))]
("rabbit" "likes" "dog" "-")
((((triple6) -> (rule4 % int5)) ((((triple5 ((triple15) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int3
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int4
The rabbit is young.
("rabbit" "is" "young" "+")
int5
((((triple6) -> (rule4 % int6)) ((((triple5 ((((triple16) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int3
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int4
The tiger likes the dog.
("tiger" "likes" "dog" "+")
int5
The rabbit is young.
("rabbit" "is" "young" "+")
int6
The rabbit likes the rabbit.
True
9
proof
[(((((((triple6) -> rule4) ((((triple5 ((triple15) -> rule8)) -> rule9)) -> rule3)) -> rule2)) -> rule8) OR ((((((triple6) -> rule4) ((((triple5 ((((triple16) -> rule5)) -> rule8)) -> rule9)) -> rule3)) -> rule2)) -> rule8))]
("rabbit" "likes" "rabbit" "+")
((((((triple6) -> (rule4 % int6)) ((((triple5 ((triple15) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int4
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int5
The rabbit is young.
("rabbit" "is" "young" "+")
int6
((((((triple6) -> (rule4 % int7)) ((((triple5 ((((triple16) -> (rule5 % int6))) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int4
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int5
The tiger likes the dog.
("tiger" "likes" "dog" "+")
int6
The rabbit is young.
("rabbit" "is" "young" "+")
int7
The rabbit does not like the rabbit.
False
9
inv-proof
[(((((((triple6) -> rule4) ((((triple5 ((triple15) -> rule8)) -> rule9)) -> rule3)) -> rule2)) -> rule8) OR ((((((triple6) -> rule4) ((((triple5 ((((triple16) -> rule5)) -> rule8)) -> rule9)) -> rule3)) -> rule2)) -> rule8))]
("rabbit" "likes" "rabbit" "-")
((((((triple6) -> (rule4 % int6)) ((((triple5 ((triple15) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int4
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int5
The rabbit is young.
("rabbit" "is" "young" "+")
int6
((((((triple6) -> (rule4 % int7)) ((((triple5 ((((triple16) -> (rule5 % int6))) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int4
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int5
The tiger likes the dog.
("tiger" "likes" "dog" "+")
int6
The rabbit is young.
("rabbit" "is" "young" "+")
int7
The tiger does not chase the dog.
Unknown
inv-rconc
[@1: The tiger chases the dog.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("tiger" "chases" "dog" "-")
The dog likes the rabbit.
Unknown
rconc
[@3: The dog likes the rabbit.[CWA. Example of deepest failure = (rule8 <- rule2 <- rule4 <- FAIL)]]
("dog" "likes" "rabbit" "+")
The rabbit does not chase the dog.
Unknown
inv-rconc
[@1: The rabbit chases the dog.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "chases" "dog" "-")
The squirrel chases the dog.
Unknown
rconc
[@1: The squirrel chases the dog.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "chases" "dog" "+")
The dog is not young.
Unknown
inv-rconc
[@1: The dog is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "is" "young" "-")
The dog chases the dog.
Unknown
rconc
[@1: The dog chases the dog.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("dog" "chases" "dog" "+")
The squirrel is not red.
Unknown
inv-random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "-")
The squirrel needs the dog.
Unknown
random
[@0: The squirrel needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "dog" "+")
The rabbit does not chase the squirrel.
Unknown
inv-random
[@0: The rabbit chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "squirrel" "-")
The squirrel needs the tiger.
Unknown
random
[@0: The squirrel needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "tiger" "+")
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 dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
@0: The dog chases the rabbit.[(triple1)] The dog is red.[(triple2)] The dog likes the tiger.[(triple3)] The dog needs the squirrel.[(triple4)] The dog needs the tiger.[(triple5)] The rabbit is kind.[(triple6)] The rabbit is red.[(triple7)] The squirrel chases the rabbit.[(triple8)] The squirrel is kind.[(triple9)] The squirrel is young.[(triple10 OR ((triple9) -> rule4))] The squirrel likes the tiger.[(triple11)] The tiger is blue.[(triple12)] The tiger is cold.[(triple13)] The tiger is red.[(triple14)] The tiger likes the dog.[(triple15 OR ((triple16) -> rule5))] The tiger needs the rabbit.[(triple16)] @1: The dog is blue.[(((triple3) -> rule3))] The rabbit is young.[(((triple6) -> rule4))] The squirrel is blue.[(((triple11) -> rule3))] The tiger likes the rabbit.[(((triple15) -> rule8) OR ((((triple16) -> rule5)) -> rule8))] @2: The rabbit likes the tiger.[(((triple5 ((triple15) -> rule8)) -> rule9) OR ((triple5 ((((triple16) -> rule5)) -> rule8)) -> rule9))] The squirrel likes the dog.[(((triple10 ((triple11) -> rule3)) -> rule2) OR ((((triple9) -> rule4) ((triple11) -> rule3)) -> rule2))] @3: The rabbit is blue.[(((((triple5 ((triple15) -> rule8)) -> rule9)) -> rule3) OR ((((triple5 ((((triple16) -> rule5)) -> rule8)) -> rule9)) -> rule3))] The squirrel likes the rabbit.[(((((triple10 ((triple11) -> rule3)) -> rule2)) -> rule8) OR ((((((triple9) -> rule4) ((triple11) -> rule3)) -> rule2)) -> rule8))] @4: The rabbit likes the dog.[(((((triple6) -> rule4) ((((triple5 ((triple15) -> rule8)) -> rule9)) -> rule3)) -> rule2) OR ((((triple6) -> rule4) ((((triple5 ((((triple16) -> rule5)) -> rule8)) -> rule9)) -> rule3)) -> rule2))] @5: The rabbit likes the rabbit.[(((((((triple6) -> rule4) ((((triple5 ((triple15) -> rule8)) -> rule9)) -> rule3)) -> rule2)) -> rule8) OR ((((((triple6) -> rule4) ((((triple5 ((((triple16) -> rule5)) -> rule8)) -> rule9)) -> rule3)) -> rule2)) -> rule8))]
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple1
The dog is red.
("dog" "is" "red" "+")
triple2
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple3
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple4
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple5
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple6
The rabbit is red.
("rabbit" "is" "red" "+")
triple7
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple8
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple9
The squirrel is young.
("squirrel" "is" "young" "+")
triple10
((triple9) -> (rule4 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple11
The tiger is blue.
("tiger" "is" "blue" "+")
triple12
The tiger is cold.
("tiger" "is" "cold" "+")
triple13
The tiger is red.
("tiger" "is" "red" "+")
triple14
The tiger likes the dog.
("tiger" "likes" "dog" "+")
triple15
((triple16) -> (rule5 % int1))
The tiger likes the dog.
("tiger" "likes" "dog" "+")
int1
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
triple16
The dog is blue.
("dog" "is" "blue" "+")
((triple3) -> (rule3 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
((triple6) -> (rule4 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple11) -> (rule3 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
((triple15) -> (rule8 % int1))
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int1
((((triple16) -> (rule5 % int2))) -> (rule8 % int1))
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int1
The tiger likes the dog.
("tiger" "likes" "dog" "+")
int2
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
((triple5 ((triple15) -> (rule8 % int2))) -> (rule9 % int1))
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int1
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int2
((triple5 ((((triple16) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int1
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int2
The tiger likes the dog.
("tiger" "likes" "dog" "+")
int3
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
((triple10 ((triple11) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
((((triple9) -> (rule4 % int3)) ((triple11) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
((((triple5 ((triple15) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int2
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int3
((((triple5 ((((triple16) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int2
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int3
The tiger likes the dog.
("tiger" "likes" "dog" "+")
int4
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
((((triple10 ((triple11) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int1
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
((((((triple9) -> (rule4 % int4)) ((triple11) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int1
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
((((triple6) -> (rule4 % int5)) ((((triple5 ((triple15) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int3
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int4
The rabbit is young.
("rabbit" "is" "young" "+")
int5
((((triple6) -> (rule4 % int6)) ((((triple5 ((((triple16) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int3
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int4
The tiger likes the dog.
("tiger" "likes" "dog" "+")
int5
The rabbit is young.
("rabbit" "is" "young" "+")
int6
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((((((triple6) -> (rule4 % int6)) ((((triple5 ((triple15) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int4
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int5
The rabbit is young.
("rabbit" "is" "young" "+")
int6
((((((triple6) -> (rule4 % int7)) ((((triple5 ((((triple16) -> (rule5 % int6))) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int4
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int5
The tiger likes the dog.
("tiger" "likes" "dog" "+")
int6
The rabbit is young.
("rabbit" "is" "young" "+")
int7