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