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