The bear eats the lion. The bear eats the rabbit. The bear is round. The bear sees the lion. The bear sees the rabbit. The lion eats the bear. The lion eats the rabbit. The lion likes the bear. The lion likes the rabbit. The lion sees the bear. The lion sees the rabbit. The rabbit eats the bear. The rabbit is big. The rabbit is blue. The rabbit sees the lion. If someone sees the rabbit then the rabbit likes the lion.
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear is round.
("bear" "is" "round" "+")
The bear sees the lion.
("bear" "sees" "lion" "+")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
If someone sees the rabbit then the rabbit likes the lion.
((("someone" "sees" "rabbit" "+")) -> ("rabbit" "likes" "lion" "+"))
The bear is round.
True
1
proof
[(triple3)]
("bear" "is" "round" "+")
triple3
The lion does not eat the bear.
False
1
inv-proof
[(triple6)]
("lion" "eats" "bear" "-")
triple6
The rabbit likes the lion.
True
2
proof
[(((triple11) -> rule1) OR ((triple5) -> rule1))]
("rabbit" "likes" "lion" "+")
((triple11) -> (rule1 % int1))
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int1
((triple5) -> (rule1 % int1))
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int1
The rabbit does not like the lion.
False
2
inv-proof
[(((triple11) -> rule1) OR ((triple5) -> rule1))]
("rabbit" "likes" "lion" "-")
((triple11) -> (rule1 % int1))
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int1
((triple5) -> (rule1 % int1))
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int1
The bear does not like the rabbit.
Unknown
inv-random
[@0: The bear likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "rabbit" "-")
The lion is blue.
Unknown
random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "+")
The rabbit does not like the rabbit.
Unknown
inv-random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "-")
The lion is big.
Unknown
random
[@0: The lion is big.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "big" "+")
@0: The bear eats the lion.[(triple1)] The bear eats the rabbit.[(triple2)] The bear is round.[(triple3)] The bear sees the lion.[(triple4)] The bear sees the rabbit.[(triple5)] The lion eats the bear.[(triple6)] The lion eats the rabbit.[(triple7)] The lion likes the bear.[(triple8)] The lion likes the rabbit.[(triple9)] The lion sees the bear.[(triple10)] The lion sees the rabbit.[(triple11)] The rabbit eats the bear.[(triple12)] The rabbit is big.[(triple13)] The rabbit is blue.[(triple14)] The rabbit sees the lion.[(triple15)] @1: The rabbit likes the lion.[(((triple11) -> rule1) OR ((triple5) -> rule1))]
The bear eats the lion.
("bear" "eats" "lion" "+")
triple1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The bear sees the lion.
("bear" "sees" "lion" "+")
triple4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple5
The lion eats the bear.
("lion" "eats" "bear" "+")
triple6
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple7
The lion likes the bear.
("lion" "likes" "bear" "+")
triple8
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple9
The lion sees the bear.
("lion" "sees" "bear" "+")
triple10
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple11
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple12
The rabbit is big.
("rabbit" "is" "big" "+")
triple13
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple14
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
triple15
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
((triple11) -> (rule1 % int1))
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int1
((triple5) -> (rule1 % int1))
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int1