The cat is young. The cat sees the lion. The lion eats the cat. The lion is big. The lion is green. The lion is round. The lion is young. The lion sees the rabbit. The lion sees the tiger. The rabbit eats the cat. The rabbit is big. The rabbit likes the lion. The tiger eats the rabbit. The tiger is round. The tiger is young. If the cat likes the tiger and the tiger likes the cat then the tiger likes the lion. If someone likes the lion then they see the cat. If someone is young and they like the rabbit then the rabbit eats the cat. If someone sees the tiger and they like the tiger then they are big. If the lion eats the cat and the cat sees the lion then the cat eats the lion. If the lion is young and the lion eats the tiger then the lion eats the cat. If someone likes the tiger then they are nice. If someone eats the lion and the lion is green then they like the tiger.
The cat is young.
("cat" "is" "young" "+")
The cat sees the lion.
("cat" "sees" "lion" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is round.
("lion" "is" "round" "+")
The lion is young.
("lion" "is" "young" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The lion sees the tiger.
("lion" "sees" "tiger" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger is young.
("tiger" "is" "young" "+")
If the cat likes the tiger and the tiger likes the cat then the tiger likes the lion.
((("cat" "likes" "tiger" "+") ("tiger" "likes" "cat" "+")) -> ("tiger" "likes" "lion" "+"))
If someone likes the lion then they see the cat.
((("someone" "likes" "lion" "+")) -> ("someone" "sees" "cat" "+"))
If someone is young and they like the rabbit then the rabbit eats the cat.
((("someone" "is" "young" "+") ("someone" "likes" "rabbit" "+")) -> ("rabbit" "eats" "cat" "+"))
If someone sees the tiger and they like the tiger then they are big.
((("someone" "sees" "tiger" "+") ("someone" "likes" "tiger" "+")) -> ("someone" "is" "big" "+"))
If the lion eats the cat and the cat sees the lion then the cat eats the lion.
((("lion" "eats" "cat" "+") ("cat" "sees" "lion" "+")) -> ("cat" "eats" "lion" "+"))
If the lion is young and the lion eats the tiger then the lion eats the cat.
((("lion" "is" "young" "+") ("lion" "eats" "tiger" "+")) -> ("lion" "eats" "cat" "+"))
If someone likes the tiger then they are nice.
((("someone" "likes" "tiger" "+")) -> ("someone" "is" "nice" "+"))
If someone eats the lion and the lion is green then they like the tiger.
((("someone" "eats" "lion" "+") ("lion" "is" "green" "+")) -> ("someone" "likes" "tiger" "+"))
The rabbit likes the lion.
True
1
proof
[(triple12)]
("rabbit" "likes" "lion" "+")
triple12
The tiger is not round.
False
1
inv-proof
[(triple14)]
("tiger" "is" "round" "-")
triple14
The rabbit sees the cat.
True
2
proof
[(((triple12) -> rule2))]
("rabbit" "sees" "cat" "+")
((triple12) -> (rule2 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
The cat does not eat the lion.
False
3
inv-proof
[(((triple3 triple2) -> rule5))]
("cat" "eats" "lion" "-")
((triple3 triple2) -> (rule5 % int1))
The cat eats the lion.
("cat" "eats" "lion" "+")
int1
The cat likes the tiger.
True
5
proof
[(((((triple3 triple2) -> rule5) triple5) -> rule8))]
("cat" "likes" "tiger" "+")
((((triple3 triple2) -> (rule5 % int2)) triple5) -> (rule8 % int1))
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int1
The cat eats the lion.
("cat" "eats" "lion" "+")
int2
The cat does not like the tiger.
False
5
inv-proof
[(((((triple3 triple2) -> rule5) triple5) -> rule8))]
("cat" "likes" "tiger" "-")
((((triple3 triple2) -> (rule5 % int2)) triple5) -> (rule8 % int1))
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int1
The cat eats the lion.
("cat" "eats" "lion" "+")
int2
The cat is nice.
True
6
proof
[(((((((triple3 triple2) -> rule5) triple5) -> rule8)) -> rule7))]
("cat" "is" "nice" "+")
((((((triple3 triple2) -> (rule5 % int3)) triple5) -> (rule8 % int2))) -> (rule7 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int2
The cat eats the lion.
("cat" "eats" "lion" "+")
int3
The cat is not nice.
False
6
inv-proof
[(((((((triple3 triple2) -> rule5) triple5) -> rule8)) -> rule7))]
("cat" "is" "nice" "-")
((((((triple3 triple2) -> (rule5 % int3)) triple5) -> (rule8 % int2))) -> (rule7 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int2
The cat eats the lion.
("cat" "eats" "lion" "+")
int3
The tiger does not see the cat.
Unknown
inv-rconc
[@2: The tiger sees the cat.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("tiger" "sees" "cat" "-")
The tiger is nice.
Unknown
rconc
[@2: The tiger is nice.[CWA. Example of deepest failure = (rule7 <- rule8 <- FAIL)]]
("tiger" "is" "nice" "+")
The rabbit is not nice.
Unknown
inv-rconc
[@2: The rabbit is nice.[CWA. Example of deepest failure = (rule7 <- rule8 <- FAIL)]]
("rabbit" "is" "nice" "-")
The lion sees the cat.
Unknown
rconc
[@1: The lion sees the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "sees" "cat" "+")
The cat is not green.
Unknown
inv-random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
The cat does not like the lion.
Unknown
inv-random
[@0: The cat likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "lion" "-")
The tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
@0: The cat is young.[(triple1)] The cat sees the lion.[(triple2)] The lion eats the cat.[(triple3)] The lion is big.[(triple4)] The lion is green.[(triple5)] The lion is round.[(triple6)] The lion is young.[(triple7)] The lion sees the rabbit.[(triple8)] The lion sees the tiger.[(triple9)] The rabbit eats the cat.[(triple10)] The rabbit is big.[(triple11)] The rabbit likes the lion.[(triple12)] The tiger eats the rabbit.[(triple13)] The tiger is round.[(triple14)] The tiger is young.[(triple15)] @1: The cat eats the lion.[(((triple3 triple2) -> rule5))] The rabbit sees the cat.[(((triple12) -> rule2))] @2: The cat likes the tiger.[(((((triple3 triple2) -> rule5) triple5) -> rule8))] @3: The cat is nice.[(((((((triple3 triple2) -> rule5) triple5) -> rule8)) -> rule7))]
The cat is young.
("cat" "is" "young" "+")
triple1
The cat sees the lion.
("cat" "sees" "lion" "+")
triple2
The lion eats the cat.
("lion" "eats" "cat" "+")
triple3
The lion is big.
("lion" "is" "big" "+")
triple4
The lion is green.
("lion" "is" "green" "+")
triple5
The lion is round.
("lion" "is" "round" "+")
triple6
The lion is young.
("lion" "is" "young" "+")
triple7
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple8
The lion sees the tiger.
("lion" "sees" "tiger" "+")
triple9
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple10
The rabbit is big.
("rabbit" "is" "big" "+")
triple11
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple12
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple13
The tiger is round.
("tiger" "is" "round" "+")
triple14
The tiger is young.
("tiger" "is" "young" "+")
triple15
The cat eats the lion.
("cat" "eats" "lion" "+")
((triple3 triple2) -> (rule5 % int1))
The cat eats the lion.
("cat" "eats" "lion" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
((triple12) -> (rule2 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
The cat likes the tiger.
("cat" "likes" "tiger" "+")
((((triple3 triple2) -> (rule5 % int2)) triple5) -> (rule8 % int1))
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int1
The cat eats the lion.
("cat" "eats" "lion" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
((((((triple3 triple2) -> (rule5 % int3)) triple5) -> (rule8 % int2))) -> (rule7 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int2
The cat eats the lion.
("cat" "eats" "lion" "+")
int3