The cow is cold. The dog chases the squirrel. The dog is red. The dog is round. The dog needs the cow. The rabbit chases the dog. The rabbit is blue. The rabbit is cold. The rabbit needs the cow. The rabbit needs the dog. The squirrel chases the dog. The squirrel chases the rabbit. The squirrel likes the cow. The squirrel likes the rabbit. The squirrel needs the rabbit. If someone chases the dog and the dog chases the squirrel then the squirrel likes the cow. If someone needs the dog then they are nice. If someone chases the rabbit and the rabbit chases the squirrel then the squirrel chases the rabbit.
The cow is cold.
("cow" "is" "cold" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is round.
("dog" "is" "round" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
If someone chases the dog and the dog chases the squirrel then the squirrel likes the cow.
((("someone" "chases" "dog" "+") ("dog" "chases" "squirrel" "+")) -> ("squirrel" "likes" "cow" "+"))
If someone needs the dog then they are nice.
((("someone" "needs" "dog" "+")) -> ("someone" "is" "nice" "+"))
If someone chases the rabbit and the rabbit chases the squirrel then the squirrel chases the rabbit.
((("someone" "chases" "rabbit" "+") ("rabbit" "chases" "squirrel" "+")) -> ("squirrel" "chases" "rabbit" "+"))
The squirrel chases the dog.
True
1
proof
[(triple11)]
("squirrel" "chases" "dog" "+")
triple11
The dog does not chase the squirrel.
False
1
inv-proof
[(triple2)]
("dog" "chases" "squirrel" "-")
triple2
The squirrel is not nice.
Unknown
inv-rconc
[@1: The squirrel is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "nice" "-")
The squirrel needs the cow.
Unknown
random
[@0: The squirrel needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "cow" "+")
@0: The cow is cold.[(triple1)] The dog chases the squirrel.[(triple2)] The dog is red.[(triple3)] The dog is round.[(triple4)] The dog needs the cow.[(triple5)] The rabbit chases the dog.[(triple6)] The rabbit is blue.[(triple7)] The rabbit is cold.[(triple8)] The rabbit needs the cow.[(triple9)] The rabbit needs the dog.[(triple10)] The squirrel chases the dog.[(triple11)] The squirrel chases the rabbit.[(triple12)] The squirrel likes the cow.[(triple13 OR ((triple11 triple2) -> rule1) OR ((triple6 triple2) -> rule1))] The squirrel likes the rabbit.[(triple14)] The squirrel needs the rabbit.[(triple15)] @1: The rabbit is nice.[(((triple10) -> rule2))]
The cow is cold.
("cow" "is" "cold" "+")
triple1
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple2
The dog is red.
("dog" "is" "red" "+")
triple3
The dog is round.
("dog" "is" "round" "+")
triple4
The dog needs the cow.
("dog" "needs" "cow" "+")
triple5
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple6
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple7
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple8
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple9
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple10
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple11
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple12
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple13
((triple11 triple2) -> (rule1 % int1))
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int1
((triple6 triple2) -> (rule1 % int1))
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int1
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple14
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple15
The rabbit is nice.
("rabbit" "is" "nice" "+")
((triple10) -> (rule2 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1