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