The cow is big. The cow sees the lion. The lion chases the cow. The lion eats the cow. The lion sees the cow. The squirrel chases the cow. The squirrel chases the lion. The squirrel eats the cow. The squirrel eats the lion. The squirrel is big. The squirrel is cold. The squirrel is green. The squirrel is round. The squirrel is young. The squirrel sees the cow. The squirrel sees the lion. If something is young then it eats the squirrel.
The cow is big.
("cow" "is" "big" "+")
The cow sees the lion.
("cow" "sees" "lion" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion sees the cow.
("lion" "sees" "cow" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
If something is young then it eats the squirrel.
((("something" "is" "young" "+")) -> ("something" "eats" "squirrel" "+"))
The squirrel eats the lion.
True
1
proof
[(triple9)]
("squirrel" "eats" "lion" "+")
triple9
The squirrel does not chase the cow.
False
1
inv-proof
[(triple6)]
("squirrel" "chases" "cow" "-")
triple6
The squirrel eats the squirrel.
True
2
proof
[(((triple14) -> rule1))]
("squirrel" "eats" "squirrel" "+")
((triple14) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel does not eat the squirrel.
False
2
inv-proof
[(((triple14) -> rule1))]
("squirrel" "eats" "squirrel" "-")
((triple14) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The lion does not eat the squirrel.
Unknown
inv-rconc
[@1: The lion eats the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "eats" "squirrel" "-")
The cow eats the squirrel.
Unknown
rconc
[@1: The cow eats the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "eats" "squirrel" "+")
The cow does not chase the squirrel.
Unknown
inv-random
[@0: The cow chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "squirrel" "-")
The lion is cold.
Unknown
random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "+")
@0: The cow is big.[(triple1)] The cow sees the lion.[(triple2)] The lion chases the cow.[(triple3)] The lion eats the cow.[(triple4)] The lion sees the cow.[(triple5)] The squirrel chases the cow.[(triple6)] The squirrel chases the lion.[(triple7)] The squirrel eats the cow.[(triple8)] The squirrel eats the lion.[(triple9)] The squirrel is big.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is green.[(triple12)] The squirrel is round.[(triple13)] The squirrel is young.[(triple14)] The squirrel sees the cow.[(triple15)] The squirrel sees the lion.[(triple16)] @1: The squirrel eats the squirrel.[(((triple14) -> rule1))]
The cow is big.
("cow" "is" "big" "+")
triple1
The cow sees the lion.
("cow" "sees" "lion" "+")
triple2
The lion chases the cow.
("lion" "chases" "cow" "+")
triple3
The lion eats the cow.
("lion" "eats" "cow" "+")
triple4
The lion sees the cow.
("lion" "sees" "cow" "+")
triple5
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple6
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple7
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple8
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple9
The squirrel is big.
("squirrel" "is" "big" "+")
triple10
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple11
The squirrel is green.
("squirrel" "is" "green" "+")
triple12
The squirrel is round.
("squirrel" "is" "round" "+")
triple13
The squirrel is young.
("squirrel" "is" "young" "+")
triple14
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple15
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
triple16
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((triple14) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1