The cat chases the dog. The dog chases the cat. The dog chases the squirrel. The dog eats the squirrel. The dog is big. The dog is nice. The dog is rough. The dog sees the cat. The dog sees the squirrel. The squirrel chases the cat. The squirrel eats the dog. The squirrel is big. The squirrel is nice. The squirrel is red. The squirrel sees the dog. If someone chases the squirrel and the squirrel sees the cat then they are green. If someone eats the dog and the dog eats the squirrel then the dog is nice. If the squirrel sees the dog then the dog eats the squirrel.
The cat chases the dog.
("cat" "chases" "dog" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
If someone chases the squirrel and the squirrel sees the cat then they are green.
((("someone" "chases" "squirrel" "+") ("squirrel" "sees" "cat" "+")) -> ("someone" "is" "green" "+"))
If someone eats the dog and the dog eats the squirrel then the dog is nice.
((("someone" "eats" "dog" "+") ("dog" "eats" "squirrel" "+")) -> ("dog" "is" "nice" "+"))
If the squirrel sees the dog then the dog eats the squirrel.
((("squirrel" "sees" "dog" "+")) -> ("dog" "eats" "squirrel" "+"))
The squirrel sees the dog.
True
1
proof
[(triple15)]
("squirrel" "sees" "dog" "+")
triple15
The squirrel is not big.
False
1
inv-proof
[(triple12)]
("squirrel" "is" "big" "-")
triple12
The cat is not green.
Unknown
inv-rconc
[@1: The cat is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "green" "-")
The cat sees the squirrel.
Unknown
random
[@0: The cat sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "squirrel" "+")
@0: The cat chases the dog.[(triple1)] The dog chases the cat.[(triple2)] The dog chases the squirrel.[(triple3)] The dog eats the squirrel.[(triple4 OR ((triple15) -> rule3))] The dog is big.[(triple5)] The dog is nice.[(triple6 OR ((triple11 triple4) -> rule2) OR ((triple11 ((triple15) -> rule3)) -> rule2))] The dog is rough.[(triple7)] The dog sees the cat.[(triple8)] The dog sees the squirrel.[(triple9)] The squirrel chases the cat.[(triple10)] The squirrel eats the dog.[(triple11)] The squirrel is big.[(triple12)] The squirrel is nice.[(triple13)] The squirrel is red.[(triple14)] The squirrel sees the dog.[(triple15)]
The cat chases the dog.
("cat" "chases" "dog" "+")
triple1
The dog chases the cat.
("dog" "chases" "cat" "+")
triple2
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple3
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple4
((triple15) -> (rule3 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
The dog is big.
("dog" "is" "big" "+")
triple5
The dog is nice.
("dog" "is" "nice" "+")
triple6
((triple11 triple4) -> (rule2 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
((triple11 ((triple15) -> (rule3 % int2))) -> (rule2 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
triple7
The dog sees the cat.
("dog" "sees" "cat" "+")
triple8
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple9
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple10
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple11
The squirrel is big.
("squirrel" "is" "big" "+")
triple12
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple13
The squirrel is red.
("squirrel" "is" "red" "+")
triple14
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple15