The cat eats the rabbit. The cat is blue. The cat is rough. The cat is young. The cat likes the lion. The lion eats the cat. The lion likes the rabbit. The rabbit eats the cat. The rabbit is big. The rabbit is kind. The rabbit likes the tiger. The tiger eats the rabbit. The tiger is big. The tiger likes the cat. The tiger visits the lion. If someone likes the tiger then they eat the lion. If the cat is rough then the cat is kind. If someone visits the tiger and the tiger likes the lion then the lion is big. If the cat visits the lion then the lion likes the tiger. If someone eats the tiger then they eat the cat. If someone is blue and rough then they eat the rabbit.
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger likes the cat.
("tiger" "likes" "cat" "+")
The tiger visits the lion.
("tiger" "visits" "lion" "+")
If someone likes the tiger then they eat the lion.
((("someone" "likes" "tiger" "+")) -> ("someone" "eats" "lion" "+"))
If the cat is rough then the cat is kind.
((("cat" "is" "rough" "+")) -> ("cat" "is" "kind" "+"))
If someone visits the tiger and the tiger likes the lion then the lion is big.
((("someone" "visits" "tiger" "+") ("tiger" "likes" "lion" "+")) -> ("lion" "is" "big" "+"))
If the cat visits the lion then the lion likes the tiger.
((("cat" "visits" "lion" "+")) -> ("lion" "likes" "tiger" "+"))
If someone eats the tiger then they eat the cat.
((("someone" "eats" "tiger" "+")) -> ("someone" "eats" "cat" "+"))
If someone is blue and rough then they eat the rabbit.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "eats" "rabbit" "+"))
The tiger eats the rabbit.
True
1
proof
[(triple12)]
("tiger" "eats" "rabbit" "+")
triple12
The rabbit does not eat the cat.
False
1
inv-proof
[(triple8)]
("rabbit" "eats" "cat" "-")
triple8
The rabbit eats the lion.
True
2
proof
[(((triple11) -> rule1))]
("rabbit" "eats" "lion" "+")
((triple11) -> (rule1 % int1))
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int1
The cat is not kind.
False
2
inv-proof
[(((triple3) -> rule2))]
("cat" "is" "kind" "-")
((triple3) -> (rule2 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The lion is not big.
Unknown
inv-rconc
[@1: The lion is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "is" "big" "-")
The cat eats the lion.
Unknown
rconc
[@1: The cat eats the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "eats" "lion" "+")
The rabbit does not like the rabbit.
Unknown
inv-random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "-")
The lion is blue.
Unknown
random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "+")
@0: The cat eats the rabbit.[(triple1 OR ((triple2 triple3) -> rule6))] The cat is blue.[(triple2)] The cat is rough.[(triple3)] The cat is young.[(triple4)] The cat likes the lion.[(triple5)] The lion eats the cat.[(triple6)] The lion likes the rabbit.[(triple7)] The rabbit eats the cat.[(triple8)] The rabbit is big.[(triple9)] The rabbit is kind.[(triple10)] The rabbit likes the tiger.[(triple11)] The tiger eats the rabbit.[(triple12)] The tiger is big.[(triple13)] The tiger likes the cat.[(triple14)] The tiger visits the lion.[(triple15)] @1: The cat is kind.[(((triple3) -> rule2))] The rabbit eats the lion.[(((triple11) -> rule1))]
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple1
((triple2 triple3) -> (rule6 % int1))
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
triple2
The cat is rough.
("cat" "is" "rough" "+")
triple3
The cat is young.
("cat" "is" "young" "+")
triple4
The cat likes the lion.
("cat" "likes" "lion" "+")
triple5
The lion eats the cat.
("lion" "eats" "cat" "+")
triple6
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple7
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple8
The rabbit is big.
("rabbit" "is" "big" "+")
triple9
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple10
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
triple11
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple12
The tiger is big.
("tiger" "is" "big" "+")
triple13
The tiger likes the cat.
("tiger" "likes" "cat" "+")
triple14
The tiger visits the lion.
("tiger" "visits" "lion" "+")
triple15
The cat is kind.
("cat" "is" "kind" "+")
((triple3) -> (rule2 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
((triple11) -> (rule1 % int1))
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int1