The dog chases the rabbit. The dog is big. The dog is blue. The dog is green. The dog is nice. The dog is rough. The dog likes the rabbit. The dog visits the rabbit. The rabbit is big. The rabbit is nice. The rabbit likes the dog. The rabbit visits the dog. If something chases the rabbit then the rabbit is blue. If something likes the dog and the dog chases the rabbit then the dog is nice.
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
If something chases the rabbit then the rabbit is blue.
((("something" "chases" "rabbit" "+")) -> ("rabbit" "is" "blue" "+"))
If something likes the dog and the dog chases the rabbit then the dog is nice.
((("something" "likes" "dog" "+") ("dog" "chases" "rabbit" "+")) -> ("dog" "is" "nice" "+"))
The dog chases the rabbit.
True
1
proof
[(triple1)]
("dog" "chases" "rabbit" "+")
triple1
The rabbit does not visit the dog.
False
1
inv-proof
[(triple12)]
("rabbit" "visits" "dog" "-")
triple12
The rabbit does not chase the rabbit.
Unknown
inv-random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
@0: The dog chases the rabbit.[(triple1)] The dog is big.[(triple2)] The dog is blue.[(triple3)] The dog is green.[(triple4)] The dog is nice.[(triple5 OR ((triple11 triple1) -> rule2))] The dog is rough.[(triple6)] The dog likes the rabbit.[(triple7)] The dog visits the rabbit.[(triple8)] The rabbit is big.[(triple9)] The rabbit is nice.[(triple10)] The rabbit likes the dog.[(triple11)] The rabbit visits the dog.[(triple12)] @1: The rabbit is blue.[(((triple1) -> rule1))]
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple1
The dog is big.
("dog" "is" "big" "+")
triple2
The dog is blue.
("dog" "is" "blue" "+")
triple3
The dog is green.
("dog" "is" "green" "+")
triple4
The dog is nice.
("dog" "is" "nice" "+")
triple5
((triple11 triple1) -> (rule2 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
triple6
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple7
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple8
The rabbit is big.
("rabbit" "is" "big" "+")
triple9
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple10
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple11
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple12
The rabbit is blue.
("rabbit" "is" "blue" "+")
((triple1) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1