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