The dog chases the squirrel. The dog is red. The dog likes the lion. The lion is green. The lion is nice. The lion is red. The lion is young. The lion likes the dog. The lion likes the squirrel. The lion visits the dog. The lion visits the squirrel. The squirrel chases the lion. The squirrel is rough. The squirrel is young. The squirrel visits the dog. If the squirrel is green then the squirrel is nice. If someone is red and not green then they chase the dog. If someone is red then they like the lion. If the lion visits the squirrel and the squirrel is red then the lion is not nice. If someone likes the lion and the lion is not young then they do not chase the lion. If the lion likes the squirrel and the squirrel is not nice then the squirrel likes the lion. If the squirrel is green and the squirrel chases the lion then the squirrel is rough. If someone chases the lion and they visit the lion then the lion likes the dog.
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog is red.
("dog" "is" "red" "+")
The dog likes the lion.
("dog" "likes" "lion" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If the squirrel is green then the squirrel is nice.
((("squirrel" "is" "green" "+")) -> ("squirrel" "is" "nice" "+"))
If someone is red and not green then they chase the dog.
((("someone" "is" "red" "+") ("someone" "is" "green" "~")) -> ("someone" "chases" "dog" "+"))
If someone is red then they like the lion.
((("someone" "is" "red" "+")) -> ("someone" "likes" "lion" "+"))
If the lion visits the squirrel and the squirrel is red then the lion is not nice.
((("lion" "visits" "squirrel" "+") ("squirrel" "is" "red" "+")) -> ("lion" "is" "nice" "-"))
If someone likes the lion and the lion is not young then they do not chase the lion.
((("someone" "likes" "lion" "+") ("lion" "is" "young" "~")) -> ("someone" "chases" "lion" "-"))
If the lion likes the squirrel and the squirrel is not nice then the squirrel likes the lion.
((("lion" "likes" "squirrel" "+") ("squirrel" "is" "nice" "~")) -> ("squirrel" "likes" "lion" "+"))
If the squirrel is green and the squirrel chases the lion then the squirrel is rough.
((("squirrel" "is" "green" "+") ("squirrel" "chases" "lion" "+")) -> ("squirrel" "is" "rough" "+"))
If someone chases the lion and they visit the lion then the lion likes the dog.
((("someone" "chases" "lion" "+") ("someone" "visits" "lion" "+")) -> ("lion" "likes" "dog" "+"))
The lion is red.
True
1
proof
[(triple6)]
("lion" "is" "red" "+")
triple6
The squirrel does not chase the lion.
False
1
inv-proof
[(triple12)]
("squirrel" "chases" "lion" "-")
triple12
The lion likes the lion.
True
2
proof
[(((triple6) -> rule3))]
("lion" "likes" "lion" "+")
((triple6) -> (rule3 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion does not like the lion.
False
2
inv-proof
[(((triple6) -> rule3))]
("lion" "likes" "lion" "-")
((triple6) -> (rule3 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The dog does not chase the dog.
Unknown
inv-rconc
[@1: The dog chases the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "chases" "dog" "-")
The squirrel likes the lion.
Unknown
rconc
[@1: The squirrel likes the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "likes" "lion" "+")
The dog is not nice.
Unknown
inv-random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "-")
The dog is rough.
Unknown
random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "+")
@0: The dog chases the squirrel.[(triple1)] The dog is red.[(triple2)] The dog likes the lion.[(triple3 OR ((triple2) -> rule3))] The lion is green.[(triple4)] The lion is nice.[(triple5)] The lion is red.[(triple6)] The lion is young.[(triple7)] The lion likes the dog.[(triple8)] The lion likes the squirrel.[(triple9)] The lion visits the dog.[(triple10)] The lion visits the squirrel.[(triple11)] The squirrel chases the lion.[(triple12)] The squirrel is rough.[(triple13)] The squirrel is young.[(triple14)] The squirrel visits the dog.[(triple15)] @1: The lion likes the lion.[(((triple6) -> rule3))]
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple1
The dog is red.
("dog" "is" "red" "+")
triple2
The dog likes the lion.
("dog" "likes" "lion" "+")
triple3
((triple2) -> (rule3 % int1))
The dog likes the lion.
("dog" "likes" "lion" "+")
int1
The lion is green.
("lion" "is" "green" "+")
triple4
The lion is nice.
("lion" "is" "nice" "+")
triple5
The lion is red.
("lion" "is" "red" "+")
triple6
The lion is young.
("lion" "is" "young" "+")
triple7
The lion likes the dog.
("lion" "likes" "dog" "+")
triple8
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple9
The lion visits the dog.
("lion" "visits" "dog" "+")
triple10
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
triple11
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple12
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple13
The squirrel is young.
("squirrel" "is" "young" "+")
triple14
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple15
The lion likes the lion.
("lion" "likes" "lion" "+")
((triple6) -> (rule3 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1