The bear eats the tiger. The bear is red. The bear does not need the tiger. The lion eats the tiger. The lion is round. The lion needs the bear. The lion needs the tiger. The lion visits the bear. The lion visits the tiger. The tiger eats the lion. The tiger is not green. The tiger is rough. The tiger needs the bear. The tiger does not need the lion. The tiger visits the bear. The tiger visits the lion. If someone needs the bear then the bear eats the tiger. If someone eats the tiger and they are rough then the tiger visits the bear. If the lion is green and the lion eats the bear then the lion eats the tiger. If someone needs the lion and they visit the bear then they eat the tiger. If someone is blue and not round then they are not rough. If someone eats the tiger and they are not round then they do not need the bear. If someone visits the lion then they eat the bear. If the tiger needs the lion and the tiger does not need the bear then the tiger is red.
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear is red.
("bear" "is" "red" "+")
The bear does not need the tiger.
("bear" "needs" "tiger" "-")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion is round.
("lion" "is" "round" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
The tiger is not green.
("tiger" "is" "green" "-")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
The tiger does not need the lion.
("tiger" "needs" "lion" "-")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
The tiger visits the lion.
("tiger" "visits" "lion" "+")
If someone needs the bear then the bear eats the tiger.
((("someone" "needs" "bear" "+")) -> ("bear" "eats" "tiger" "+"))
If someone eats the tiger and they are rough then the tiger visits the bear.
((("someone" "eats" "tiger" "+") ("someone" "is" "rough" "+")) -> ("tiger" "visits" "bear" "+"))
If the lion is green and the lion eats the bear then the lion eats the tiger.
((("lion" "is" "green" "+") ("lion" "eats" "bear" "+")) -> ("lion" "eats" "tiger" "+"))
If someone needs the lion and they visit the bear then they eat the tiger.
((("someone" "needs" "lion" "+") ("someone" "visits" "bear" "+")) -> ("someone" "eats" "tiger" "+"))
If someone is blue and not round then they are not rough.
((("someone" "is" "blue" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "rough" "-"))
If someone eats the tiger and they are not round then they do not need the bear.
((("someone" "eats" "tiger" "+") ("someone" "is" "round" "~")) -> ("someone" "needs" "bear" "-"))
If someone visits the lion then they eat the bear.
((("someone" "visits" "lion" "+")) -> ("someone" "eats" "bear" "+"))
If the tiger needs the lion and the tiger does not need the bear then the tiger is red.
((("tiger" "needs" "lion" "+") ("tiger" "needs" "bear" "~")) -> ("tiger" "is" "red" "+"))
The tiger is not green.
True
1
proof
[(triple11)]
("tiger" "is" "green" "-")
triple11
The tiger is not rough.
False
1
inv-proof
[(triple12)]
("tiger" "is" "rough" "-")
triple12
The tiger eats the bear.
True
2
proof
[(((triple16) -> rule7))]
("tiger" "eats" "bear" "+")
((triple16) -> (rule7 % int1))
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int1
The tiger does not eat the bear.
False
2
inv-proof
[(((triple16) -> rule7))]
("tiger" "eats" "bear" "-")
((triple16) -> (rule7 % int1))
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int1
The lion does not eat the bear.
Unknown
inv-rconc
[@1: The lion eats the bear.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("lion" "eats" "bear" "-")
The bear eats the bear.
Unknown
rconc
[@1: The bear eats the bear.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "eats" "bear" "+")
The tiger is not round.
Unknown
inv-random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
@0: The bear does not need the tiger.[(triple3)] The bear eats the tiger.[(triple1 OR ((triple13) -> rule1) OR ((triple6) -> rule1))] The bear is red.[(triple2)] The lion eats the tiger.[(triple4)] The lion is round.[(triple5)] The lion needs the bear.[(triple6)] The lion needs the tiger.[(triple7)] The lion visits the bear.[(triple8)] The lion visits the tiger.[(triple9)] The tiger does not need the lion.[(triple14)] The tiger eats the lion.[(triple10)] The tiger is not green.[(triple11)] The tiger is rough.[(triple12)] The tiger needs the bear.[(triple13)] The tiger visits the bear.[(triple15)] The tiger visits the lion.[(triple16)] @1: The tiger eats the bear.[(((triple16) -> rule7))]
The bear does not need the tiger.
("bear" "needs" "tiger" "-")
triple3
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple1
((triple13) -> (rule1 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
((triple6) -> (rule1 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The bear is red.
("bear" "is" "red" "+")
triple2
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple4
The lion is round.
("lion" "is" "round" "+")
triple5
The lion needs the bear.
("lion" "needs" "bear" "+")
triple6
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple7
The lion visits the bear.
("lion" "visits" "bear" "+")
triple8
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple9
The tiger does not need the lion.
("tiger" "needs" "lion" "-")
triple14
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple10
The tiger is not green.
("tiger" "is" "green" "-")
triple11
The tiger is rough.
("tiger" "is" "rough" "+")
triple12
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple13
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple15
The tiger visits the lion.
("tiger" "visits" "lion" "+")
triple16
The tiger eats the bear.
("tiger" "eats" "bear" "+")
((triple16) -> (rule7 % int1))
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int1