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