The dog is blue. The dog is cold. The dog is green. The dog is red. The dog is young. The dog likes the rabbit. The dog needs the rabbit. The dog visits the rabbit. The rabbit is blue. The rabbit is cold. The rabbit is green. The rabbit is red. The rabbit is young. The rabbit likes the dog. The rabbit needs the dog. The rabbit visits the dog. If something needs the dog then it needs the rabbit.
The dog is blue.
("dog" "is" "blue" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
If something needs the dog then it needs the rabbit.
((("something" "needs" "dog" "+")) -> ("something" "needs" "rabbit" "+"))
The rabbit likes the dog.
True
1
proof
[(triple14)]
("rabbit" "likes" "dog" "+")
triple14
The rabbit does not like the dog.
False
1
inv-proof
[(triple14)]
("rabbit" "likes" "dog" "-")
triple14
The rabbit needs the rabbit.
True
2
proof
[(((triple15) -> rule1))]
("rabbit" "needs" "rabbit" "+")
((triple15) -> (rule1 % int1))
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int1
The rabbit does not need the rabbit.
False
2
inv-proof
[(((triple15) -> rule1))]
("rabbit" "needs" "rabbit" "-")
((triple15) -> (rule1 % int1))
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int1
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
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 like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
@0: The dog is blue.[(triple1)] The dog is cold.[(triple2)] The dog is green.[(triple3)] The dog is red.[(triple4)] The dog is young.[(triple5)] The dog likes the rabbit.[(triple6)] The dog needs the rabbit.[(triple7)] The dog visits the rabbit.[(triple8)] The rabbit is blue.[(triple9)] The rabbit is cold.[(triple10)] The rabbit is green.[(triple11)] The rabbit is red.[(triple12)] The rabbit is young.[(triple13)] The rabbit likes the dog.[(triple14)] The rabbit needs the dog.[(triple15)] The rabbit visits the dog.[(triple16)] @1: The rabbit needs the rabbit.[(((triple15) -> rule1))]
The dog is blue.
("dog" "is" "blue" "+")
triple1
The dog is cold.
("dog" "is" "cold" "+")
triple2
The dog is green.
("dog" "is" "green" "+")
triple3
The dog is red.
("dog" "is" "red" "+")
triple4
The dog is young.
("dog" "is" "young" "+")
triple5
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple6
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple7
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple8
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple9
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple10
The rabbit is green.
("rabbit" "is" "green" "+")
triple11
The rabbit is red.
("rabbit" "is" "red" "+")
triple12
The rabbit is young.
("rabbit" "is" "young" "+")
triple13
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple14
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple15
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple16
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
((triple15) -> (rule1 % int1))
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int1