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