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