The lion chases the tiger. The lion eats the tiger. The lion is big. The lion is blue. The lion is kind. The lion is red. The lion needs the tiger. The tiger chases the lion. The tiger eats the lion. The tiger is kind. The tiger is red. The tiger needs the lion. If something needs the lion then the lion chases the tiger. If something needs the lion and the lion eats the tiger then it eats the tiger.
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is red.
("lion" "is" "red" "+")
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
If something needs the lion then the lion chases the tiger.
((("something" "needs" "lion" "+")) -> ("lion" "chases" "tiger" "+"))
If something needs the lion and the lion eats the tiger then it eats the tiger.
((("something" "needs" "lion" "+") ("lion" "eats" "tiger" "+")) -> ("something" "eats" "tiger" "+"))
The lion is blue.
True
1
proof
[(triple4)]
("lion" "is" "blue" "+")
triple4
The lion is not big.
False
1
inv-proof
[(triple3)]
("lion" "is" "big" "-")
triple3
The tiger eats the tiger.
True
3
proof
[(((triple12 triple2) -> rule2))]
("tiger" "eats" "tiger" "+")
((triple12 triple2) -> (rule2 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger does not eat the tiger.
False
3
inv-proof
[(((triple12 triple2) -> rule2))]
("tiger" "eats" "tiger" "-")
((triple12 triple2) -> (rule2 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The lion does not chase the lion.
Unknown
inv-random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "-")
The tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
The lion does not need the lion.
Unknown
inv-random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "-")
The tiger is big.
Unknown
random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "+")
@0: The lion chases the tiger.[(triple1 OR ((triple12) -> rule1))] The lion eats the tiger.[(triple2)] The lion is big.[(triple3)] The lion is blue.[(triple4)] The lion is kind.[(triple5)] The lion is red.[(triple6)] The lion needs the tiger.[(triple7)] The tiger chases the lion.[(triple8)] The tiger eats the lion.[(triple9)] The tiger is kind.[(triple10)] The tiger is red.[(triple11)] The tiger needs the lion.[(triple12)] @1: The tiger eats the tiger.[(((triple12 triple2) -> rule2))]
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple1
((triple12) -> (rule1 % int1))
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int1
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple2
The lion is big.
("lion" "is" "big" "+")
triple3
The lion is blue.
("lion" "is" "blue" "+")
triple4
The lion is kind.
("lion" "is" "kind" "+")
triple5
The lion is red.
("lion" "is" "red" "+")
triple6
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple7
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple8
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple9
The tiger is kind.
("tiger" "is" "kind" "+")
triple10
The tiger is red.
("tiger" "is" "red" "+")
triple11
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple12
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((triple12 triple2) -> (rule2 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1