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