The dog is blue. The dog is nice. The dog likes the squirrel. The dog needs the rabbit. The dog visits the rabbit. The dog visits the squirrel. The rabbit is blue. The rabbit is nice. The rabbit likes the squirrel. The rabbit needs the dog. The rabbit needs the squirrel. The rabbit visits the squirrel. The squirrel needs the dog. The squirrel needs the rabbit. The squirrel visits the rabbit. If someone likes the rabbit then they are blue. If the dog is blue and the rabbit does not visit the dog then the rabbit visits the squirrel. If someone likes the rabbit and they need the dog then the dog does not like the rabbit. If someone is young and they do not visit the rabbit then the rabbit likes the dog. If someone is red then they need the squirrel. If someone visits the rabbit and the rabbit is nice then the rabbit needs the squirrel. If the rabbit does not visit the squirrel then the squirrel is not blue. If someone needs the squirrel and they do not visit the squirrel then the squirrel is blue.
The dog is blue.
("dog" "is" "blue" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If someone likes the rabbit then they are blue.
((("someone" "likes" "rabbit" "+")) -> ("someone" "is" "blue" "+"))
If the dog is blue and the rabbit does not visit the dog then the rabbit visits the squirrel.
((("dog" "is" "blue" "+") ("rabbit" "visits" "dog" "~")) -> ("rabbit" "visits" "squirrel" "+"))
If someone likes the rabbit and they need the dog then the dog does not like the rabbit.
((("someone" "likes" "rabbit" "+") ("someone" "needs" "dog" "+")) -> ("dog" "likes" "rabbit" "-"))
If someone is young and they do not visit the rabbit then the rabbit likes the dog.
((("someone" "is" "young" "+") ("someone" "visits" "rabbit" "~")) -> ("rabbit" "likes" "dog" "+"))
If someone is red then they need the squirrel.
((("someone" "is" "red" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone visits the rabbit and the rabbit is nice then the rabbit needs the squirrel.
((("someone" "visits" "rabbit" "+") ("rabbit" "is" "nice" "+")) -> ("rabbit" "needs" "squirrel" "+"))
If the rabbit does not visit the squirrel then the squirrel is not blue.
((("rabbit" "visits" "squirrel" "~")) -> ("squirrel" "is" "blue" "-"))
If someone needs the squirrel and they do not visit the squirrel then the squirrel is blue.
((("someone" "needs" "squirrel" "+") ("someone" "visits" "squirrel" "~")) -> ("squirrel" "is" "blue" "+"))
The dog needs the rabbit.
True
1
proof
[(triple4)]
("dog" "needs" "rabbit" "+")
triple4
The rabbit does not need the dog.
False
1
inv-proof
[(triple10)]
("rabbit" "needs" "dog" "-")
triple10
The dog does not need the squirrel.
Unknown
inv-rconc
[@1: The dog needs the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "needs" "squirrel" "-")
The rabbit is green.
Unknown
random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "+")
@0: The dog is blue.[(triple1)] The dog is nice.[(triple2)] The dog likes the squirrel.[(triple3)] The dog needs the rabbit.[(triple4)] The dog visits the rabbit.[(triple5)] The dog visits the squirrel.[(triple6)] The rabbit is blue.[(triple7)] The rabbit is nice.[(triple8)] The rabbit likes the squirrel.[(triple9)] The rabbit needs the dog.[(triple10)] The rabbit needs the squirrel.[(triple11 OR ((triple15 triple8) -> rule6) OR ((triple5 triple8) -> rule6))] The rabbit visits the squirrel.[(triple12)] The squirrel needs the dog.[(triple13)] The squirrel needs the rabbit.[(triple14)] The squirrel visits the rabbit.[(triple15)]
The dog is blue.
("dog" "is" "blue" "+")
triple1
The dog is nice.
("dog" "is" "nice" "+")
triple2
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple3
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple4
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple5
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple6
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple7
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple8
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple9
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple10
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple11
((triple15 triple8) -> (rule6 % int1))
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int1
((triple5 triple8) -> (rule6 % int1))
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int1
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple12
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple13
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple14
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple15