The bear visits the cat. The bear visits the rabbit. The cat needs the bear. The cat visits the bear. The dog eats the rabbit. The dog is blue. The dog is cold. The dog is nice. The rabbit is not blue. The rabbit is nice. The rabbit needs the cat. The rabbit visits the dog. If something visits the dog then the dog needs the rabbit.
The bear visits the cat.
("bear" "visits" "cat" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is nice.
("dog" "is" "nice" "+")
The rabbit is not blue.
("rabbit" "is" "blue" "-")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
If something visits the dog then the dog needs the rabbit.
((("something" "visits" "dog" "+")) -> ("dog" "needs" "rabbit" "+"))
The dog eats the rabbit.
True
1
proof
[(triple5)]
("dog" "eats" "rabbit" "+")
triple5
The dog is not blue.
False
1
inv-proof
[(triple6)]
("dog" "is" "blue" "-")
triple6
The dog does not visit the cat.
Unknown
inv-random
[@0: The dog visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "cat" "-")
The bear eats the dog.
Unknown
random
[@0: The bear eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "dog" "+")
@0: The bear visits the cat.[(triple1)] The bear visits the rabbit.[(triple2)] The cat needs the bear.[(triple3)] The cat visits the bear.[(triple4)] The dog eats the rabbit.[(triple5)] The dog is blue.[(triple6)] The dog is cold.[(triple7)] The dog is nice.[(triple8)] The rabbit is nice.[(triple10)] The rabbit is not blue.[(triple9)] The rabbit needs the cat.[(triple11)] The rabbit visits the dog.[(triple12)] @1: The dog needs the rabbit.[(((triple12) -> rule1))]
The bear visits the cat.
("bear" "visits" "cat" "+")
triple1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple2
The cat needs the bear.
("cat" "needs" "bear" "+")
triple3
The cat visits the bear.
("cat" "visits" "bear" "+")
triple4
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple5
The dog is blue.
("dog" "is" "blue" "+")
triple6
The dog is cold.
("dog" "is" "cold" "+")
triple7
The dog is nice.
("dog" "is" "nice" "+")
triple8
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple10
The rabbit is not blue.
("rabbit" "is" "blue" "-")
triple9
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple11
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple12
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
((triple12) -> (rule1 % int1))
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int1