The cat eats the lion. The cat eats the tiger. The cat is blue. The cat is cold. The cat likes the tiger. The cat sees the lion. The cat sees the tiger. The lion eats the cat. The lion likes the tiger. The lion sees the cat. The tiger eats the cat. The tiger is blue. If someone sees the tiger then they like the cat.
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The cat sees the lion.
("cat" "sees" "lion" "+")
The cat sees the tiger.
("cat" "sees" "tiger" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The lion sees the cat.
("lion" "sees" "cat" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
If someone sees the tiger then they like the cat.
((("someone" "sees" "tiger" "+")) -> ("someone" "likes" "cat" "+"))
The tiger eats the cat.
True
1
proof
[(triple11)]
("tiger" "eats" "cat" "+")
triple11
The cat does not eat the lion.
False
1
inv-proof
[(triple1)]
("cat" "eats" "lion" "-")
triple1
The cat likes the cat.
True
2
proof
[(((triple7) -> rule1))]
("cat" "likes" "cat" "+")
((triple7) -> (rule1 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat does not like the cat.
False
2
inv-proof
[(((triple7) -> rule1))]
("cat" "likes" "cat" "-")
((triple7) -> (rule1 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The tiger does not like the cat.
Unknown
inv-rconc
[@1: The tiger likes the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "likes" "cat" "-")
The lion likes the cat.
Unknown
rconc
[@1: The lion likes the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "likes" "cat" "+")
The cat is not red.
Unknown
inv-random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "-")
The tiger likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
@0: The cat eats the lion.[(triple1)] The cat eats the tiger.[(triple2)] The cat is blue.[(triple3)] The cat is cold.[(triple4)] The cat likes the tiger.[(triple5)] The cat sees the lion.[(triple6)] The cat sees the tiger.[(triple7)] The lion eats the cat.[(triple8)] The lion likes the tiger.[(triple9)] The lion sees the cat.[(triple10)] The tiger eats the cat.[(triple11)] The tiger is blue.[(triple12)] @1: The cat likes the cat.[(((triple7) -> rule1))]
The cat eats the lion.
("cat" "eats" "lion" "+")
triple1
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple2
The cat is blue.
("cat" "is" "blue" "+")
triple3
The cat is cold.
("cat" "is" "cold" "+")
triple4
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple5
The cat sees the lion.
("cat" "sees" "lion" "+")
triple6
The cat sees the tiger.
("cat" "sees" "tiger" "+")
triple7
The lion eats the cat.
("lion" "eats" "cat" "+")
triple8
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple9
The lion sees the cat.
("lion" "sees" "cat" "+")
triple10
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple11
The tiger is blue.
("tiger" "is" "blue" "+")
triple12
The cat likes the cat.
("cat" "likes" "cat" "+")
((triple7) -> (rule1 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1