The cat is nice. The squirrel chases the cat. The tiger is red. If someone chases the cat then the cat likes the tiger. If the squirrel is kind then the squirrel chases the tiger. If someone is red and they chase the cat then the cat sees the tiger. If someone likes the squirrel then the squirrel is kind. If someone likes the squirrel and they chase the tiger then the squirrel likes the cat. If someone is kind and red then they like the cat.
The cat is nice.
("cat" "is" "nice" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The tiger is red.
("tiger" "is" "red" "+")
If someone chases the cat then the cat likes the tiger.
((("someone" "chases" "cat" "+")) -> ("cat" "likes" "tiger" "+"))
If the squirrel is kind then the squirrel chases the tiger.
((("squirrel" "is" "kind" "+")) -> ("squirrel" "chases" "tiger" "+"))
If someone is red and they chase the cat then the cat sees the tiger.
((("someone" "is" "red" "+") ("someone" "chases" "cat" "+")) -> ("cat" "sees" "tiger" "+"))
If someone likes the squirrel then the squirrel is kind.
((("someone" "likes" "squirrel" "+")) -> ("squirrel" "is" "kind" "+"))
If someone likes the squirrel and they chase the tiger then the squirrel likes the cat.
((("someone" "likes" "squirrel" "+") ("someone" "chases" "tiger" "+")) -> ("squirrel" "likes" "cat" "+"))
If someone is kind and red then they like the cat.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "likes" "cat" "+"))
The squirrel chases the cat.
True
1
proof
[(triple2)]
("squirrel" "chases" "cat" "+")
triple2
The squirrel does not chase the cat.
False
1
inv-proof
[(triple2)]
("squirrel" "chases" "cat" "-")
triple2
The cat likes the tiger.
True
2
proof
[(((triple2) -> rule1))]
("cat" "likes" "tiger" "+")
((triple2) -> (rule1 % int1))
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int1
The cat does not like the tiger.
False
2
inv-proof
[(((triple2) -> rule1))]
("cat" "likes" "tiger" "-")
((triple2) -> (rule1 % int1))
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int1
The cat does not like the cat.
Unknown
inv-rconc
[@1: The cat likes the cat.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "likes" "cat" "-")
The squirrel chases the tiger.
Unknown
rconc
[@2: The squirrel chases the tiger.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("squirrel" "chases" "tiger" "+")
The squirrel is not green.
Unknown
inv-random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
@0: The cat is nice.[(triple1)] The squirrel chases the cat.[(triple2)] The tiger is red.[(triple3)] @1: The cat likes the tiger.[(((triple2) -> rule1))]
The cat is nice.
("cat" "is" "nice" "+")
triple1
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple2
The tiger is red.
("tiger" "is" "red" "+")
triple3
The cat likes the tiger.
("cat" "likes" "tiger" "+")
((triple2) -> (rule1 % int1))
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int1