The lion is not green. The lion is rough. The lion likes the tiger. The lion needs the tiger. The lion sees the rabbit. The rabbit is kind. The rabbit is round. The rabbit does not like the tiger. The rabbit needs the tiger. The rabbit does not see the tiger. The tiger is round. The tiger likes the lion. If something likes the tiger and it is not green then the tiger needs the rabbit. If something likes the tiger and it does not see the tiger then it needs the rabbit. If something sees the lion then it does not like the tiger.
The lion is not green.
("lion" "is" "green" "-")
The lion is rough.
("lion" "is" "rough" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit does not like the tiger.
("rabbit" "likes" "tiger" "-")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The rabbit does not see the tiger.
("rabbit" "sees" "tiger" "-")
The tiger is round.
("tiger" "is" "round" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
If something likes the tiger and it is not green then the tiger needs the rabbit.
((("something" "likes" "tiger" "+") ("something" "is" "green" "~")) -> ("tiger" "needs" "rabbit" "+"))
If something likes the tiger and it does not see the tiger then it needs the rabbit.
((("something" "likes" "tiger" "+") ("something" "sees" "tiger" "~")) -> ("something" "needs" "rabbit" "+"))
If something sees the lion then it does not like the tiger.
((("something" "sees" "lion" "+")) -> ("something" "likes" "tiger" "-"))
The lion sees the rabbit.
True
1
proof
[(triple5)]
("lion" "sees" "rabbit" "+")
triple5
The tiger does not like the lion.
False
1
inv-proof
[(triple12)]
("tiger" "likes" "lion" "-")
triple12
The tiger needs the rabbit.
True
3
proof
[(((triple3 triple1) -> rule1))]
("tiger" "needs" "rabbit" "+")
((triple3 triple1) -> (rule1 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The tiger does not need the rabbit.
False
3
inv-proof
[(((triple3 triple1) -> rule1))]
("tiger" "needs" "rabbit" "-")
((triple3 triple1) -> (rule1 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The rabbit does not need the rabbit.
Unknown
inv-rconc
[@1: The rabbit needs the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "needs" "rabbit" "-")
The lion needs the rabbit.
Unknown
rconc
[@1: The lion needs the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "needs" "rabbit" "+")
The tiger is not green.
Unknown
inv-random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
@0: The lion is not green.[(triple1)] The lion is rough.[(triple2)] The lion likes the tiger.[(triple3)] The lion needs the tiger.[(triple4)] The lion sees the rabbit.[(triple5)] The rabbit does not like the tiger.[(triple8)] The rabbit does not see the tiger.[(triple10)] The rabbit is kind.[(triple6)] The rabbit is round.[(triple7)] The rabbit needs the tiger.[(triple9)] The tiger is round.[(triple11)] The tiger likes the lion.[(triple12)] @1: The tiger needs the rabbit.[(((triple3 triple1) -> rule1))]
The lion is not green.
("lion" "is" "green" "-")
triple1
The lion is rough.
("lion" "is" "rough" "+")
triple2
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple3
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple4
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple5
The rabbit does not like the tiger.
("rabbit" "likes" "tiger" "-")
triple8
The rabbit does not see the tiger.
("rabbit" "sees" "tiger" "-")
triple10
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple6
The rabbit is round.
("rabbit" "is" "round" "+")
triple7
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple9
The tiger is round.
("tiger" "is" "round" "+")
triple11
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple12
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
((triple3 triple1) -> (rule1 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1