The bear is red. The dog is nice. The dog sees the squirrel. The squirrel is big. The squirrel is round. The squirrel needs the dog. The squirrel sees the dog. If someone is nice then they visit the dog. If someone sees the squirrel and they need the squirrel then they visit the dog. If the bear sees the squirrel then the squirrel needs the dog. If someone is red and they need the bear then they do not visit the bear. If someone visits the dog and the dog sees the squirrel then the dog needs the squirrel. If someone visits the squirrel then the squirrel sees the bear. If someone needs the squirrel then the squirrel is nice. If someone visits the squirrel and they do not need the dog then they are blue.
The bear is red.
("bear" "is" "red" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
If someone is nice then they visit the dog.
((("someone" "is" "nice" "+")) -> ("someone" "visits" "dog" "+"))
If someone sees the squirrel and they need the squirrel then they visit the dog.
((("someone" "sees" "squirrel" "+") ("someone" "needs" "squirrel" "+")) -> ("someone" "visits" "dog" "+"))
If the bear sees the squirrel then the squirrel needs the dog.
((("bear" "sees" "squirrel" "+")) -> ("squirrel" "needs" "dog" "+"))
If someone is red and they need the bear then they do not visit the bear.
((("someone" "is" "red" "+") ("someone" "needs" "bear" "+")) -> ("someone" "visits" "bear" "-"))
If someone visits the dog and the dog sees the squirrel then the dog needs the squirrel.
((("someone" "visits" "dog" "+") ("dog" "sees" "squirrel" "+")) -> ("dog" "needs" "squirrel" "+"))
If someone visits the squirrel then the squirrel sees the bear.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "sees" "bear" "+"))
If someone needs the squirrel then the squirrel is nice.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "is" "nice" "+"))
If someone visits the squirrel and they do not need the dog then they are blue.
((("someone" "visits" "squirrel" "+") ("someone" "needs" "dog" "~")) -> ("someone" "is" "blue" "+"))
The squirrel is big.
True
1
proof
[(triple4)]
("squirrel" "is" "big" "+")
triple4
The bear is not red.
False
1
inv-proof
[(triple1)]
("bear" "is" "red" "-")
triple1
The dog visits the dog.
True
2
proof
[(((triple2) -> rule1))]
("dog" "visits" "dog" "+")
((triple2) -> (rule1 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog does not visit the dog.
False
2
inv-proof
[(((triple2) -> rule1))]
("dog" "visits" "dog" "-")
((triple2) -> (rule1 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog needs the squirrel.
True
4
proof
[(((((triple2) -> rule1) triple3) -> rule5))]
("dog" "needs" "squirrel" "+")
((((triple2) -> (rule1 % int2)) triple3) -> (rule5 % int1))
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The dog does not need the squirrel.
False
4
inv-proof
[(((((triple2) -> rule1) triple3) -> rule5))]
("dog" "needs" "squirrel" "-")
((((triple2) -> (rule1 % int2)) triple3) -> (rule5 % int1))
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The squirrel is not blue.
Unknown
inv-rconc
[@1: The squirrel is blue.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "is" "blue" "-")
The bear visits the dog.
Unknown
rconc
[@1: The bear visits the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "visits" "dog" "+")
The squirrel does not see the bear.
Unknown
inv-rconc
[@1: The squirrel sees the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "sees" "bear" "-")
The bear needs the dog.
Unknown
random
[@0: The bear needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "dog" "+")
The dog does not see the bear.
Unknown
inv-random
[@0: The dog sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "bear" "-")
The bear is nice.
Unknown
random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "+")
@0: The bear is red.[(triple1)] The dog is nice.[(triple2)] The dog sees the squirrel.[(triple3)] The squirrel is big.[(triple4)] The squirrel is round.[(triple5)] The squirrel needs the dog.[(triple6)] The squirrel sees the dog.[(triple7)] @1: The dog visits the dog.[(((triple2) -> rule1))] @2: The dog needs the squirrel.[(((((triple2) -> rule1) triple3) -> rule5))] @3: The squirrel is nice.[(((((((triple2) -> rule1) triple3) -> rule5)) -> rule7))] @4: The squirrel visits the dog.[(((((((((triple2) -> rule1) triple3) -> rule5)) -> rule7)) -> rule1))]
The bear is red.
("bear" "is" "red" "+")
triple1
The dog is nice.
("dog" "is" "nice" "+")
triple2
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple3
The squirrel is big.
("squirrel" "is" "big" "+")
triple4
The squirrel is round.
("squirrel" "is" "round" "+")
triple5
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple6
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple7
The dog visits the dog.
("dog" "visits" "dog" "+")
((triple2) -> (rule1 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
((((triple2) -> (rule1 % int2)) triple3) -> (rule5 % int1))
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
((((((triple2) -> (rule1 % int3)) triple3) -> (rule5 % int2))) -> (rule7 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int2
The dog visits the dog.
("dog" "visits" "dog" "+")
int3
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
((((((((triple2) -> (rule1 % int4)) triple3) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int3
The dog visits the dog.
("dog" "visits" "dog" "+")
int4