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