The cat eats the lion. The cat eats the rabbit. The cat is blue. The cat likes the lion. The cat does not see the lion. The cat does not see the rabbit. The dog is green. The dog likes the cat. The dog likes the lion. The dog sees the cat. The lion is big. The lion is kind. The lion sees the dog. The rabbit is blue. The rabbit is kind. The rabbit sees the lion. If something likes the dog then it sees the rabbit. If something sees the rabbit then the rabbit likes the dog. If something sees the rabbit and it likes the dog then it likes the rabbit. If something likes the lion and it likes the dog then the dog does not see the lion. If something eats the lion then the lion is big. If something sees the cat and the cat is blue then it is green. If something is green then it likes the dog.
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The cat does not see the lion.
("cat" "sees" "lion" "-")
The cat does not see the rabbit.
("cat" "sees" "rabbit" "-")
The dog is green.
("dog" "is" "green" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
The dog likes the lion.
("dog" "likes" "lion" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion sees the dog.
("lion" "sees" "dog" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
If something likes the dog then it sees the rabbit.
((("something" "likes" "dog" "+")) -> ("something" "sees" "rabbit" "+"))
If something sees the rabbit then the rabbit likes the dog.
((("something" "sees" "rabbit" "+")) -> ("rabbit" "likes" "dog" "+"))
If something sees the rabbit and it likes the dog then it likes the rabbit.
((("something" "sees" "rabbit" "+") ("something" "likes" "dog" "+")) -> ("something" "likes" "rabbit" "+"))
If something likes the lion and it likes the dog then the dog does not see the lion.
((("something" "likes" "lion" "+") ("something" "likes" "dog" "+")) -> ("dog" "sees" "lion" "-"))
If something eats the lion then the lion is big.
((("something" "eats" "lion" "+")) -> ("lion" "is" "big" "+"))
If something sees the cat and the cat is blue then it is green.
((("something" "sees" "cat" "+") ("cat" "is" "blue" "+")) -> ("something" "is" "green" "+"))
If something is green then it likes the dog.
((("something" "is" "green" "+")) -> ("something" "likes" "dog" "+"))
The cat does not see the rabbit.
True
1
proof
[(triple6)]
("cat" "sees" "rabbit" "-")
triple6
The dog does not like the lion.
False
1
inv-proof
[(triple9)]
("dog" "likes" "lion" "-")
triple9
The dog likes the dog.
True
2
proof
[(((triple7) -> rule7) OR ((((triple10 triple3) -> rule6)) -> rule7))]
("dog" "likes" "dog" "+")
((triple7) -> (rule7 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
((((triple10 triple3) -> (rule6 % int2))) -> (rule7 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The dog does not like the dog.
False
2
inv-proof
[(((triple7) -> rule7) OR ((((triple10 triple3) -> rule6)) -> rule7))]
("dog" "likes" "dog" "-")
((triple7) -> (rule7 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
((((triple10 triple3) -> (rule6 % int2))) -> (rule7 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The dog does not see the lion.
True
4
proof
[(((triple9 ((triple7) -> rule7)) -> rule4) OR ((triple9 ((((triple10 triple3) -> rule6)) -> rule7)) -> rule4))]
("dog" "sees" "lion" "-")
((triple9 ((triple7) -> (rule7 % int2))) -> (rule4 % int1))
The dog does not see the lion.
("dog" "sees" "lion" "-")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
((triple9 ((((triple10 triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The dog does not see the lion.
("dog" "sees" "lion" "-")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The dog is green.
("dog" "is" "green" "+")
int3
The dog sees the lion.
False
4
inv-proof
[(((triple9 ((triple7) -> rule7)) -> rule4) OR ((triple9 ((((triple10 triple3) -> rule6)) -> rule7)) -> rule4))]
("dog" "sees" "lion" "+")
((triple9 ((triple7) -> (rule7 % int2))) -> (rule4 % int1))
The dog does not see the lion.
("dog" "sees" "lion" "-")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
((triple9 ((((triple10 triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The dog does not see the lion.
("dog" "sees" "lion" "-")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The dog is green.
("dog" "is" "green" "+")
int3
The rabbit likes the dog.
True
4
proof
[(((((((triple7) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple10 triple3) -> rule6)) -> rule7)) -> rule1)) -> rule2))]
("rabbit" "likes" "dog" "+")
((((((triple7) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int2
The dog likes the dog.
("dog" "likes" "dog" "+")
int3
((((((((triple10 triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int2
The dog likes the dog.
("dog" "likes" "dog" "+")
int3
The dog is green.
("dog" "is" "green" "+")
int4
The rabbit does not like the dog.
False
4
inv-proof
[(((((((triple7) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple10 triple3) -> rule6)) -> rule7)) -> rule1)) -> rule2))]
("rabbit" "likes" "dog" "-")
((((((triple7) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int2
The dog likes the dog.
("dog" "likes" "dog" "+")
int3
((((((((triple10 triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int2
The dog likes the dog.
("dog" "likes" "dog" "+")
int3
The dog is green.
("dog" "is" "green" "+")
int4
The rabbit sees the rabbit.
True
5
proof
[(((((((((triple7) -> rule7)) -> rule1)) -> rule2)) -> rule1) OR ((((((((((triple10 triple3) -> rule6)) -> rule7)) -> rule1)) -> rule2)) -> rule1))]
("rabbit" "sees" "rabbit" "+")
((((((((triple7) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int2
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int3
The dog likes the dog.
("dog" "likes" "dog" "+")
int4
((((((((((triple10 triple3) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int2
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int3
The dog likes the dog.
("dog" "likes" "dog" "+")
int4
The dog is green.
("dog" "is" "green" "+")
int5
The rabbit does not see the rabbit.
False
5
inv-proof
[(((((((((triple7) -> rule7)) -> rule1)) -> rule2)) -> rule1) OR ((((((((((triple10 triple3) -> rule6)) -> rule7)) -> rule1)) -> rule2)) -> rule1))]
("rabbit" "sees" "rabbit" "-")
((((((((triple7) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int2
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int3
The dog likes the dog.
("dog" "likes" "dog" "+")
int4
((((((((((triple10 triple3) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int2
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int3
The dog likes the dog.
("dog" "likes" "dog" "+")
int4
The dog is green.
("dog" "is" "green" "+")
int5
The rabbit likes the rabbit.
True
10
proof
[(((((((((((triple7) -> rule7)) -> rule1)) -> rule2)) -> rule1) ((((((triple7) -> rule7)) -> rule1)) -> rule2)) -> rule3) OR ((((((((((triple7) -> rule7)) -> rule1)) -> rule2)) -> rule1) ((((((((triple10 triple3) -> rule6)) -> rule7)) -> rule1)) -> rule2)) -> rule3) OR ((((((((((((triple10 triple3) -> rule6)) -> rule7)) -> rule1)) -> rule2)) -> rule1) ((((((triple7) -> rule7)) -> rule1)) -> rule2)) -> rule3) OR ((((((((((((triple10 triple3) -> rule6)) -> rule7)) -> rule1)) -> rule2)) -> rule1) ((((((((triple10 triple3) -> rule6)) -> rule7)) -> rule1)) -> rule2)) -> rule3))]
("rabbit" "likes" "rabbit" "+")
((((((((((triple7) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple7) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int2
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int3
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int4
The dog likes the dog.
("dog" "likes" "dog" "+")
int5
((((((((((triple7) -> (rule7 % int6))) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((((((triple10 triple3) -> (rule6 % int2))) -> (rule7 % int6))) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int3
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int4
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int5
The dog likes the dog.
("dog" "likes" "dog" "+")
int6
((((((((((((triple10 triple3) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple7) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int2
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int3
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int4
The dog likes the dog.
("dog" "likes" "dog" "+")
int5
The dog is green.
("dog" "is" "green" "+")
int6
((((((((((((triple10 triple3) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((((triple10 triple3) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int2
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int3
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int4
The dog likes the dog.
("dog" "likes" "dog" "+")
int5
The dog is green.
("dog" "is" "green" "+")
int6
The rabbit does not like the rabbit.
False
10
inv-proof
[(((((((((((triple7) -> rule7)) -> rule1)) -> rule2)) -> rule1) ((((((triple7) -> rule7)) -> rule1)) -> rule2)) -> rule3) OR ((((((((((triple7) -> rule7)) -> rule1)) -> rule2)) -> rule1) ((((((((triple10 triple3) -> rule6)) -> rule7)) -> rule1)) -> rule2)) -> rule3) OR ((((((((((((triple10 triple3) -> rule6)) -> rule7)) -> rule1)) -> rule2)) -> rule1) ((((((triple7) -> rule7)) -> rule1)) -> rule2)) -> rule3) OR ((((((((((((triple10 triple3) -> rule6)) -> rule7)) -> rule1)) -> rule2)) -> rule1) ((((((((triple10 triple3) -> rule6)) -> rule7)) -> rule1)) -> rule2)) -> rule3))]
("rabbit" "likes" "rabbit" "-")
((((((((((triple7) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple7) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int2
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int3
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int4
The dog likes the dog.
("dog" "likes" "dog" "+")
int5
((((((((((triple7) -> (rule7 % int6))) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((((((triple10 triple3) -> (rule6 % int2))) -> (rule7 % int6))) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int3
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int4
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int5
The dog likes the dog.
("dog" "likes" "dog" "+")
int6
((((((((((((triple10 triple3) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple7) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int2
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int3
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int4
The dog likes the dog.
("dog" "likes" "dog" "+")
int5
The dog is green.
("dog" "is" "green" "+")
int6
((((((((((((triple10 triple3) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((((triple10 triple3) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int2
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int3
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int4
The dog likes the dog.
("dog" "likes" "dog" "+")
int5
The dog is green.
("dog" "is" "green" "+")
int6
The cat does not like the dog.
Unknown
inv-rconc
[@2: The cat likes the dog.[CWA. Example of deepest failure = (rule7 <- rule6 <- FAIL)]]
("cat" "likes" "dog" "-")
The lion likes the dog.
Unknown
rconc
[@2: The lion likes the dog.[CWA. Example of deepest failure = (rule7 <- rule6 <- FAIL)]]
("lion" "likes" "dog" "+")
The rabbit is not green.
Unknown
inv-rconc
[@1: The rabbit is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "is" "green" "-")
The cat is green.
Unknown
rconc
[@1: The cat is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "is" "green" "+")
The cat does not like the rabbit.
Unknown
inv-rconc
[@1: The cat likes the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "likes" "rabbit" "-")
The lion likes the rabbit.
Unknown
rconc
[@3: The lion likes the rabbit.[CWA. Example of deepest failure = (rule3 <- rule7 <- rule6 <- FAIL)]]
("lion" "likes" "rabbit" "+")
The lion does not eat the rabbit.
Unknown
inv-random
[@0: The lion eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "rabbit" "-")
The cat is big.
Unknown
random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "+")
The lion does not like the cat.
Unknown
inv-random
[@0: The lion likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "cat" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
The rabbit does not eat the cat.
Unknown
inv-random
[@0: The rabbit eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "cat" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
@0: The cat does not see the lion.[(triple5)] The cat does not see the rabbit.[(triple6)] The cat eats the lion.[(triple1)] The cat eats the rabbit.[(triple2)] The cat is blue.[(triple3)] The cat likes the lion.[(triple4)] The dog is green.[(triple7 OR ((triple10 triple3) -> rule6))] The dog likes the cat.[(triple8)] The dog likes the lion.[(triple9)] The dog sees the cat.[(triple10)] The lion is big.[(triple11 OR ((triple1) -> rule5))] The lion is kind.[(triple12)] The lion sees the dog.[(triple13)] The rabbit is blue.[(triple14)] The rabbit is kind.[(triple15)] The rabbit sees the lion.[(triple16)] @1: The dog likes the dog.[(((triple7) -> rule7) OR ((((triple10 triple3) -> rule6)) -> rule7))] @2: The dog does not see the lion.[(((triple9 ((triple7) -> rule7)) -> rule4) OR ((triple9 ((((triple10 triple3) -> rule6)) -> rule7)) -> rule4))] The dog sees the rabbit.[(((((triple7) -> rule7)) -> rule1) OR ((((((triple10 triple3) -> rule6)) -> rule7)) -> rule1))] @3: The dog likes the rabbit.[(((((((triple7) -> rule7)) -> rule1) ((triple7) -> rule7)) -> rule3) OR ((((((triple7) -> rule7)) -> rule1) ((((triple10 triple3) -> rule6)) -> rule7)) -> rule3) OR ((((((((triple10 triple3) -> rule6)) -> rule7)) -> rule1) ((triple7) -> rule7)) -> rule3) OR ((((((((triple10 triple3) -> rule6)) -> rule7)) -> rule1) ((((triple10 triple3) -> rule6)) -> rule7)) -> rule3))] The rabbit likes the dog.[(((((((triple7) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple10 triple3) -> rule6)) -> rule7)) -> rule1)) -> rule2))] @4: The rabbit sees the rabbit.[(((((((((triple7) -> rule7)) -> rule1)) -> rule2)) -> rule1) OR ((((((((((triple10 triple3) -> rule6)) -> rule7)) -> rule1)) -> rule2)) -> rule1))] @5: The rabbit likes the rabbit.[(((((((((((triple7) -> rule7)) -> rule1)) -> rule2)) -> rule1) ((((((triple7) -> rule7)) -> rule1)) -> rule2)) -> rule3) OR ((((((((((triple7) -> rule7)) -> rule1)) -> rule2)) -> rule1) ((((((((triple10 triple3) -> rule6)) -> rule7)) -> rule1)) -> rule2)) -> rule3) OR ((((((((((((triple10 triple3) -> rule6)) -> rule7)) -> rule1)) -> rule2)) -> rule1) ((((((triple7) -> rule7)) -> rule1)) -> rule2)) -> rule3) OR ((((((((((((triple10 triple3) -> rule6)) -> rule7)) -> rule1)) -> rule2)) -> rule1) ((((((((triple10 triple3) -> rule6)) -> rule7)) -> rule1)) -> rule2)) -> rule3))]
The cat does not see the lion.
("cat" "sees" "lion" "-")
triple5
The cat does not see the rabbit.
("cat" "sees" "rabbit" "-")
triple6
The cat eats the lion.
("cat" "eats" "lion" "+")
triple1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple2
The cat is blue.
("cat" "is" "blue" "+")
triple3
The cat likes the lion.
("cat" "likes" "lion" "+")
triple4
The dog is green.
("dog" "is" "green" "+")
triple7
((triple10 triple3) -> (rule6 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog likes the cat.
("dog" "likes" "cat" "+")
triple8
The dog likes the lion.
("dog" "likes" "lion" "+")
triple9
The dog sees the cat.
("dog" "sees" "cat" "+")
triple10
The lion is big.
("lion" "is" "big" "+")
triple11
((triple1) -> (rule5 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
triple12
The lion sees the dog.
("lion" "sees" "dog" "+")
triple13
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple14
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple15
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
triple16
The dog likes the dog.
("dog" "likes" "dog" "+")
((triple7) -> (rule7 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
((((triple10 triple3) -> (rule6 % int2))) -> (rule7 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The dog does not see the lion.
("dog" "sees" "lion" "-")
((triple9 ((triple7) -> (rule7 % int2))) -> (rule4 % int1))
The dog does not see the lion.
("dog" "sees" "lion" "-")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
((triple9 ((((triple10 triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The dog does not see the lion.
("dog" "sees" "lion" "-")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The dog is green.
("dog" "is" "green" "+")
int3
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
((((triple7) -> (rule7 % int2))) -> (rule1 % int1))
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
((((((triple10 triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The dog is green.
("dog" "is" "green" "+")
int3
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
((((((triple7) -> (rule7 % int3))) -> (rule1 % int2)) ((triple7) -> (rule7 % int3))) -> (rule3 % int1))
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
int1
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int2
The dog likes the dog.
("dog" "likes" "dog" "+")
int3
((((((triple7) -> (rule7 % int4))) -> (rule1 % int3)) ((((triple10 triple3) -> (rule6 % int2))) -> (rule7 % int4))) -> (rule3 % int1))
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int3
The dog likes the dog.
("dog" "likes" "dog" "+")
int4
((((((((triple10 triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple7) -> (rule7 % int3))) -> (rule3 % int1))
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
int1
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int2
The dog likes the dog.
("dog" "likes" "dog" "+")
int3
The dog is green.
("dog" "is" "green" "+")
int4
((((((((triple10 triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((((triple10 triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule3 % int1))
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
int1
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int2
The dog likes the dog.
("dog" "likes" "dog" "+")
int3
The dog is green.
("dog" "is" "green" "+")
int4
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
((((((triple7) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int2
The dog likes the dog.
("dog" "likes" "dog" "+")
int3
((((((((triple10 triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int2
The dog likes the dog.
("dog" "likes" "dog" "+")
int3
The dog is green.
("dog" "is" "green" "+")
int4
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
((((((((triple7) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int2
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int3
The dog likes the dog.
("dog" "likes" "dog" "+")
int4
((((((((((triple10 triple3) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int2
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int3
The dog likes the dog.
("dog" "likes" "dog" "+")
int4
The dog is green.
("dog" "is" "green" "+")
int5
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((((((((((triple7) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple7) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int2
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int3
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int4
The dog likes the dog.
("dog" "likes" "dog" "+")
int5
((((((((((triple7) -> (rule7 % int6))) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((((((triple10 triple3) -> (rule6 % int2))) -> (rule7 % int6))) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int3
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int4
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int5
The dog likes the dog.
("dog" "likes" "dog" "+")
int6
((((((((((((triple10 triple3) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple7) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int2
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int3
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int4
The dog likes the dog.
("dog" "likes" "dog" "+")
int5
The dog is green.
("dog" "is" "green" "+")
int6
((((((((((((triple10 triple3) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((((triple10 triple3) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int2
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int3
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int4
The dog likes the dog.
("dog" "likes" "dog" "+")
int5
The dog is green.
("dog" "is" "green" "+")
int6