The cat eats the lion. The cat is rough. The cat is round. The cat likes the cow. The cat likes the lion. The cat visits the tiger. The cow eats the cat. The cow visits the cat. The lion eats the tiger. The lion likes the cow. The lion visits the cat. The tiger eats the cat. The tiger eats the cow. The tiger is cold. The tiger is rough. The tiger likes the cat. If something is round and it visits the tiger then it is cold. If something eats the lion and it visits the lion then the lion is round.
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The cat visits the tiger.
("cat" "visits" "tiger" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion visits the cat.
("lion" "visits" "cat" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the cat.
("tiger" "likes" "cat" "+")
If something is round and it visits the tiger then it is cold.
((("something" "is" "round" "+") ("something" "visits" "tiger" "+")) -> ("something" "is" "cold" "+"))
If something eats the lion and it visits the lion then the lion is round.
((("something" "eats" "lion" "+") ("something" "visits" "lion" "+")) -> ("lion" "is" "round" "+"))
The tiger eats the cat.
True
1
proof
[(triple12)]
("tiger" "eats" "cat" "+")
triple12
The cat does not like the lion.
False
1
inv-proof
[(triple5)]
("cat" "likes" "lion" "-")
triple5
The cat is cold.
True
3
proof
[(((triple3 triple6) -> rule1))]
("cat" "is" "cold" "+")
((triple3 triple6) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat is not cold.
False
3
inv-proof
[(((triple3 triple6) -> rule1))]
("cat" "is" "cold" "-")
((triple3 triple6) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The lion is not cold.
Unknown
inv-rconc
[@1: The lion is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "cold" "-")
The lion is round.
Unknown
rconc
[@1: The lion is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "round" "+")
The lion does not eat the lion.
Unknown
inv-random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "-")
The cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
@0: The cat eats the lion.[(triple1)] The cat is rough.[(triple2)] The cat is round.[(triple3)] The cat likes the cow.[(triple4)] The cat likes the lion.[(triple5)] The cat visits the tiger.[(triple6)] The cow eats the cat.[(triple7)] The cow visits the cat.[(triple8)] The lion eats the tiger.[(triple9)] The lion likes the cow.[(triple10)] The lion visits the cat.[(triple11)] The tiger eats the cat.[(triple12)] The tiger eats the cow.[(triple13)] The tiger is cold.[(triple14)] The tiger is rough.[(triple15)] The tiger likes the cat.[(triple16)] @1: The cat is cold.[(((triple3 triple6) -> rule1))]
The cat eats the lion.
("cat" "eats" "lion" "+")
triple1
The cat is rough.
("cat" "is" "rough" "+")
triple2
The cat is round.
("cat" "is" "round" "+")
triple3
The cat likes the cow.
("cat" "likes" "cow" "+")
triple4
The cat likes the lion.
("cat" "likes" "lion" "+")
triple5
The cat visits the tiger.
("cat" "visits" "tiger" "+")
triple6
The cow eats the cat.
("cow" "eats" "cat" "+")
triple7
The cow visits the cat.
("cow" "visits" "cat" "+")
triple8
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple9
The lion likes the cow.
("lion" "likes" "cow" "+")
triple10
The lion visits the cat.
("lion" "visits" "cat" "+")
triple11
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple12
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple13
The tiger is cold.
("tiger" "is" "cold" "+")
triple14
The tiger is rough.
("tiger" "is" "rough" "+")
triple15
The tiger likes the cat.
("tiger" "likes" "cat" "+")
triple16
The cat is cold.
("cat" "is" "cold" "+")
((triple3 triple6) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1