The cat is green. The cat likes the tiger. The cat sees the tiger. The mouse is cold. The mouse is green. The mouse likes the cat. The mouse likes the tiger. The mouse sees the tiger. The mouse visits the cat. The squirrel is green. The squirrel is nice. The tiger is cold. The tiger is rough. The tiger sees the squirrel. The tiger visits the cat. The tiger visits the mouse. If someone sees the cat then they like the tiger. If someone is rough and they see the tiger then they like the tiger. If the mouse sees the tiger and the tiger is green then the mouse is nice. If the cat is young and the cat is green then the cat is nice. If someone is rough then they like the cat. If someone likes the mouse and they see the squirrel then the squirrel is nice.
The cat is green.
("cat" "is" "green" "+")
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The cat sees the tiger.
("cat" "sees" "tiger" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The mouse visits the cat.
("mouse" "visits" "cat" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
If someone sees the cat then they like the tiger.
((("someone" "sees" "cat" "+")) -> ("someone" "likes" "tiger" "+"))
If someone is rough and they see the tiger then they like the tiger.
((("someone" "is" "rough" "+") ("someone" "sees" "tiger" "+")) -> ("someone" "likes" "tiger" "+"))
If the mouse sees the tiger and the tiger is green then the mouse is nice.
((("mouse" "sees" "tiger" "+") ("tiger" "is" "green" "+")) -> ("mouse" "is" "nice" "+"))
If the cat is young and the cat is green then the cat is nice.
((("cat" "is" "young" "+") ("cat" "is" "green" "+")) -> ("cat" "is" "nice" "+"))
If someone is rough then they like the cat.
((("someone" "is" "rough" "+")) -> ("someone" "likes" "cat" "+"))
If someone likes the mouse and they see the squirrel then the squirrel is nice.
((("someone" "likes" "mouse" "+") ("someone" "sees" "squirrel" "+")) -> ("squirrel" "is" "nice" "+"))
The squirrel is nice.
True
1
proof
[(triple11)]
("squirrel" "is" "nice" "+")
triple11
The tiger does not see the squirrel.
False
1
inv-proof
[(triple14)]
("tiger" "sees" "squirrel" "-")
triple14
The tiger likes the cat.
True
2
proof
[(((triple13) -> rule5))]
("tiger" "likes" "cat" "+")
((triple13) -> (rule5 % int1))
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int1
The tiger does not like the cat.
False
2
inv-proof
[(((triple13) -> rule5))]
("tiger" "likes" "cat" "-")
((triple13) -> (rule5 % int1))
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int1
The tiger does not like the tiger.
Unknown
inv-rconc
[@1: The tiger likes the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "likes" "tiger" "-")
The cat likes the cat.
Unknown
rconc
[@1: The cat likes the cat.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "likes" "cat" "+")
The tiger does not see the mouse.
Unknown
inv-random
[@0: The tiger sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "mouse" "-")
The tiger sees the cat.
Unknown
random
[@0: The tiger sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "cat" "+")
@0: The cat is green.[(triple1)] The cat likes the tiger.[(triple2)] The cat sees the tiger.[(triple3)] The mouse is cold.[(triple4)] The mouse is green.[(triple5)] The mouse likes the cat.[(triple6)] The mouse likes the tiger.[(triple7)] The mouse sees the tiger.[(triple8)] The mouse visits the cat.[(triple9)] The squirrel is green.[(triple10)] The squirrel is nice.[(triple11)] The tiger is cold.[(triple12)] The tiger is rough.[(triple13)] The tiger sees the squirrel.[(triple14)] The tiger visits the cat.[(triple15)] The tiger visits the mouse.[(triple16)] @1: The tiger likes the cat.[(((triple13) -> rule5))]
The cat is green.
("cat" "is" "green" "+")
triple1
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple2
The cat sees the tiger.
("cat" "sees" "tiger" "+")
triple3
The mouse is cold.
("mouse" "is" "cold" "+")
triple4
The mouse is green.
("mouse" "is" "green" "+")
triple5
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple6
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple7
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple8
The mouse visits the cat.
("mouse" "visits" "cat" "+")
triple9
The squirrel is green.
("squirrel" "is" "green" "+")
triple10
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple11
The tiger is cold.
("tiger" "is" "cold" "+")
triple12
The tiger is rough.
("tiger" "is" "rough" "+")
triple13
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple14
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple15
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
triple16
The tiger likes the cat.
("tiger" "likes" "cat" "+")
((triple13) -> (rule5 % int1))
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int1