The bald eagle sees the squirrel. The dog is rough. The dog likes the squirrel. The dog sees the lion. The lion is not big. The lion is young. The squirrel does not chase the bald eagle. If something chases the dog and it does not see the squirrel then the dog does not like the squirrel. If something sees the lion then it does not chase the bald eagle. If something likes the dog then it is big.
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The dog sees the lion.
("dog" "sees" "lion" "+")
The lion is not big.
("lion" "is" "big" "-")
The lion is young.
("lion" "is" "young" "+")
The squirrel does not chase the bald eagle.
("squirrel" "chases" "bald eagle" "-")
If something chases the dog and it does not see the squirrel then the dog does not like the squirrel.
((("something" "chases" "dog" "+") ("something" "sees" "squirrel" "~")) -> ("dog" "likes" "squirrel" "-"))
If something sees the lion then it does not chase the bald eagle.
((("something" "sees" "lion" "+")) -> ("something" "chases" "bald eagle" "-"))
If something likes the dog then it is big.
((("something" "likes" "dog" "+")) -> ("something" "is" "big" "+"))
The dog sees the lion.
True
1
proof
[(triple4)]
("dog" "sees" "lion" "+")
triple4
The squirrel chases the bald eagle.
False
1
inv-proof
[(triple7)]
("squirrel" "chases" "bald eagle" "+")
triple7
The dog is not big.
Unknown
inv-rconc
[@1: The dog is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "big" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The bald eagle sees the squirrel.[(triple1)] The dog is rough.[(triple2)] The dog likes the squirrel.[(triple3)] The dog sees the lion.[(triple4)] The lion is not big.[(triple5)] The lion is young.[(triple6)] The squirrel does not chase the bald eagle.[(triple7)] @1: The dog does not chase the bald eagle.[(((triple4) -> rule2))]
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple1
The dog is rough.
("dog" "is" "rough" "+")
triple2
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple3
The dog sees the lion.
("dog" "sees" "lion" "+")
triple4
The lion is not big.
("lion" "is" "big" "-")
triple5
The lion is young.
("lion" "is" "young" "+")
triple6
The squirrel does not chase the bald eagle.
("squirrel" "chases" "bald eagle" "-")
triple7
The dog does not chase the bald eagle.
("dog" "chases" "bald eagle" "-")
((triple4) -> (rule2 % int1))
The dog does not chase the bald eagle.
("dog" "chases" "bald eagle" "-")
int1