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