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