The dog chases the rabbit. The dog does not chase the squirrel. The dog is big. The dog is rough. The dog needs the rabbit. The dog visits the squirrel. The rabbit is big. The rabbit is kind. The rabbit needs the dog. The squirrel chases the dog. The squirrel is kind. The squirrel does not need the dog. If someone is big and rough then they do not need the squirrel. If someone needs the rabbit then they do not visit the rabbit. If someone is big and rough then they are green. If the dog chases the squirrel and the squirrel does not visit the rabbit then the dog is not kind. If someone chases the squirrel and they do not visit the dog then they visit the squirrel. If someone chases the rabbit then the rabbit chases the squirrel. If the dog is red and the dog is not kind then the dog chases the rabbit. If someone visits the squirrel then the squirrel chases the dog.
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog does not chase the squirrel.
("dog" "chases" "squirrel" "-")
The dog is big.
("dog" "is" "big" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel does not need the dog.
("squirrel" "needs" "dog" "-")
If someone is big and rough then they do not need the squirrel.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "needs" "squirrel" "-"))
If someone needs the rabbit then they do not visit the rabbit.
((("someone" "needs" "rabbit" "+")) -> ("someone" "visits" "rabbit" "-"))
If someone is big and rough then they are green.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If the dog chases the squirrel and the squirrel does not visit the rabbit then the dog is not kind.
((("dog" "chases" "squirrel" "+") ("squirrel" "visits" "rabbit" "~")) -> ("dog" "is" "kind" "-"))
If someone chases the squirrel and they do not visit the dog then they visit the squirrel.
((("someone" "chases" "squirrel" "+") ("someone" "visits" "dog" "~")) -> ("someone" "visits" "squirrel" "+"))
If someone chases the rabbit then the rabbit chases the squirrel.
((("someone" "chases" "rabbit" "+")) -> ("rabbit" "chases" "squirrel" "+"))
If the dog is red and the dog is not kind then the dog chases the rabbit.
((("dog" "is" "red" "+") ("dog" "is" "kind" "~")) -> ("dog" "chases" "rabbit" "+"))
If someone visits the squirrel then the squirrel chases the dog.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "chases" "dog" "+"))
The rabbit needs the dog.
True
1
proof
[(triple9)]
("rabbit" "needs" "dog" "+")
triple9
The squirrel does not chase the dog.
False
1
inv-proof
[(triple10 OR ((triple6) -> rule8))]
("squirrel" "chases" "dog" "-")
triple10
((triple6) -> (rule8 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The dog does not visit the rabbit.
True
2
proof
[(((triple5) -> rule2))]
("dog" "visits" "rabbit" "-")
((triple5) -> (rule2 % int1))
The dog does not visit the rabbit.
("dog" "visits" "rabbit" "-")
int1
The dog is not green.
False
3
inv-proof
[(((triple3 triple4) -> rule3))]
("dog" "is" "green" "-")
((triple3 triple4) -> (rule3 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The squirrel is not green.
Unknown
inv-rconc
[@1: The squirrel is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "green" "-")
The rabbit is green.
Unknown
rconc
[@1: The rabbit is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "is" "green" "+")
The rabbit is not red.
Unknown
inv-random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "-")
The dog is red.
Unknown
random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "+")
@0: The dog chases the rabbit.[(triple1)] The dog does not chase the squirrel.[(triple2)] The dog is big.[(triple3)] The dog is rough.[(triple4)] The dog needs the rabbit.[(triple5)] The dog visits the squirrel.[(triple6)] The rabbit is big.[(triple7)] The rabbit is kind.[(triple8)] The rabbit needs the dog.[(triple9)] The squirrel chases the dog.[(triple10 OR ((triple6) -> rule8))] The squirrel does not need the dog.[(triple12)] The squirrel is kind.[(triple11)] @1: The dog does not need the squirrel.[(((triple3 triple4) -> rule1))] The dog does not visit the rabbit.[(((triple5) -> rule2))] The dog is green.[(((triple3 triple4) -> rule3))] The rabbit chases the squirrel.[(((triple1) -> rule6))]
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple1
The dog does not chase the squirrel.
("dog" "chases" "squirrel" "-")
triple2
The dog is big.
("dog" "is" "big" "+")
triple3
The dog is rough.
("dog" "is" "rough" "+")
triple4
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple5
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple6
The rabbit is big.
("rabbit" "is" "big" "+")
triple7
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple8
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple9
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple10
((triple6) -> (rule8 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel does not need the dog.
("squirrel" "needs" "dog" "-")
triple12
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple11
The dog does not need the squirrel.
("dog" "needs" "squirrel" "-")
((triple3 triple4) -> (rule1 % int1))
The dog does not need the squirrel.
("dog" "needs" "squirrel" "-")
int1
The dog does not visit the rabbit.
("dog" "visits" "rabbit" "-")
((triple5) -> (rule2 % int1))
The dog does not visit the rabbit.
("dog" "visits" "rabbit" "-")
int1
The dog is green.
("dog" "is" "green" "+")
((triple3 triple4) -> (rule3 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
((triple1) -> (rule6 % int1))
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
int1