The dog needs the squirrel. The rabbit is young. The squirrel is round. If someone is nice then they eat the dog. If someone needs the rabbit and the rabbit sees the dog then the dog sees the squirrel. If someone is nice then they see the rabbit. If someone needs the rabbit then they are round. If someone eats the dog then they eat the rabbit. If someone needs the squirrel then the squirrel sees the rabbit. If someone is red and they see the dog then the dog is nice. If someone needs the dog and the dog sees the squirrel then the squirrel is rough.
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
If someone is nice then they eat the dog.
((("someone" "is" "nice" "+")) -> ("someone" "eats" "dog" "+"))
If someone needs the rabbit and the rabbit sees the dog then the dog sees the squirrel.
((("someone" "needs" "rabbit" "+") ("rabbit" "sees" "dog" "+")) -> ("dog" "sees" "squirrel" "+"))
If someone is nice then they see the rabbit.
((("someone" "is" "nice" "+")) -> ("someone" "sees" "rabbit" "+"))
If someone needs the rabbit then they are round.
((("someone" "needs" "rabbit" "+")) -> ("someone" "is" "round" "+"))
If someone eats the dog then they eat the rabbit.
((("someone" "eats" "dog" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone needs the squirrel then the squirrel sees the rabbit.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "sees" "rabbit" "+"))
If someone is red and they see the dog then the dog is nice.
((("someone" "is" "red" "+") ("someone" "sees" "dog" "+")) -> ("dog" "is" "nice" "+"))
If someone needs the dog and the dog sees the squirrel then the squirrel is rough.
((("someone" "needs" "dog" "+") ("dog" "sees" "squirrel" "+")) -> ("squirrel" "is" "rough" "+"))
The rabbit is young.
True
1
proof
[(triple2)]
("rabbit" "is" "young" "+")
triple2
The squirrel is not round.
False
1
inv-proof
[(triple3)]
("squirrel" "is" "round" "-")
triple3
The dog does not eat the dog.
Unknown
inv-rconc
[@2: The dog eats the dog.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("dog" "eats" "dog" "-")
The dog eats the squirrel.
Unknown
random
[@0: The dog eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "squirrel" "+")
@0: The dog needs the squirrel.[(triple1)] The rabbit is young.[(triple2)] The squirrel is round.[(triple3)] @1: The squirrel sees the rabbit.[(((triple1) -> rule6))]
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple1
The rabbit is young.
("rabbit" "is" "young" "+")
triple2
The squirrel is round.
("squirrel" "is" "round" "+")
triple3
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
((triple1) -> (rule6 % int1))
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int1