The lion chases the rabbit. The lion eats the rabbit. The lion is big. The lion is green. The lion is nice. The lion is red. The lion is young. The lion visits the rabbit. The rabbit chases the lion. The rabbit eats the lion. The rabbit is green. The rabbit is nice. The rabbit is red. The rabbit is young. The rabbit visits the lion. If the lion eats the rabbit then the lion is green. If the lion is green then the lion eats the rabbit.
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is young.
("lion" "is" "young" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
If the lion eats the rabbit then the lion is green.
((("lion" "eats" "rabbit" "+")) -> ("lion" "is" "green" "+"))
If the lion is green then the lion eats the rabbit.
((("lion" "is" "green" "+")) -> ("lion" "eats" "rabbit" "+"))
The lion is big.
True
1
proof
[(triple3)]
("lion" "is" "big" "+")
triple3
The rabbit does not eat the lion.
False
1
inv-proof
[(triple10)]
("rabbit" "eats" "lion" "-")
triple10
The rabbit does not eat the rabbit.
Unknown
inv-random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
@0: The lion chases the rabbit.[(triple1)] The lion eats the rabbit.[(triple2 OR ((triple4) -> rule2))] The lion is big.[(triple3)] The lion is green.[(triple4 OR ((triple2) -> rule1))] The lion is nice.[(triple5)] The lion is red.[(triple6)] The lion is young.[(triple7)] The lion visits the rabbit.[(triple8)] The rabbit chases the lion.[(triple9)] The rabbit eats the lion.[(triple10)] The rabbit is green.[(triple11)] The rabbit is nice.[(triple12)] The rabbit is red.[(triple13)] The rabbit is young.[(triple14)] The rabbit visits the lion.[(triple15)]
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple1
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple2
((triple4) -> (rule2 % int1))
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int1
The lion is big.
("lion" "is" "big" "+")
triple3
The lion is green.
("lion" "is" "green" "+")
triple4
((triple2) -> (rule1 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
triple5
The lion is red.
("lion" "is" "red" "+")
triple6
The lion is young.
("lion" "is" "young" "+")
triple7
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple8
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple9
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple10
The rabbit is green.
("rabbit" "is" "green" "+")
triple11
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple12
The rabbit is red.
("rabbit" "is" "red" "+")
triple13
The rabbit is young.
("rabbit" "is" "young" "+")
triple14
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple15