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