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