The bald eagle is red. The dog needs the bald eagle. The dog sees the squirrel. The lion is green. The lion is rough. The lion is round. The lion needs the bald eagle. The lion sees the dog. The squirrel chases the bald eagle. The squirrel chases the lion. The squirrel is cold. The squirrel sees the lion. If someone chases the lion and they are cold then they chase the dog.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is round.
("lion" "is" "round" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion sees the dog.
("lion" "sees" "dog" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
If someone chases the lion and they are cold then they chase the dog.
((("someone" "chases" "lion" "+") ("someone" "is" "cold" "+")) -> ("someone" "chases" "dog" "+"))
The dog sees the squirrel.
True
1
proof
[(triple3)]
("dog" "sees" "squirrel" "+")
triple3
The squirrel does not chase the lion.
False
1
inv-proof
[(triple10)]
("squirrel" "chases" "lion" "-")
triple10
The squirrel chases the dog.
True
3
proof
[(((triple10 triple11) -> rule1))]
("squirrel" "chases" "dog" "+")
((triple10 triple11) -> (rule1 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel does not chase the dog.
False
3
inv-proof
[(((triple10 triple11) -> rule1))]
("squirrel" "chases" "dog" "-")
((triple10 triple11) -> (rule1 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The bald eagle does not chase the dog.
Unknown
inv-rconc
[@1: The bald eagle chases the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "chases" "dog" "-")
The lion chases the dog.
Unknown
rconc
[@1: The lion chases the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "chases" "dog" "+")
The lion does not chase the squirrel.
Unknown
inv-random
[@0: The lion chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "squirrel" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
@0: The bald eagle is red.[(triple1)] The dog needs the bald eagle.[(triple2)] The dog sees the squirrel.[(triple3)] The lion is green.[(triple4)] The lion is rough.[(triple5)] The lion is round.[(triple6)] The lion needs the bald eagle.[(triple7)] The lion sees the dog.[(triple8)] The squirrel chases the bald eagle.[(triple9)] The squirrel chases the lion.[(triple10)] The squirrel is cold.[(triple11)] The squirrel sees the lion.[(triple12)] @1: The squirrel chases the dog.[(((triple10 triple11) -> rule1))]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple2
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple3
The lion is green.
("lion" "is" "green" "+")
triple4
The lion is rough.
("lion" "is" "rough" "+")
triple5
The lion is round.
("lion" "is" "round" "+")
triple6
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple7
The lion sees the dog.
("lion" "sees" "dog" "+")
triple8
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple9
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple10
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple11
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
triple12
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
((triple10 triple11) -> (rule1 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1