The bear chases the rabbit. The dog is red. The rabbit is nice. The squirrel visits the bear. If something visits the bear then it needs the rabbit.
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The dog is red.
("dog" "is" "red" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If something visits the bear then it needs the rabbit.
((("something" "visits" "bear" "+")) -> ("something" "needs" "rabbit" "+"))
The bear chases the rabbit.
True
1
proof
[(triple1)]
("bear" "chases" "rabbit" "+")
triple1
The rabbit is not nice.
False
1
inv-proof
[(triple3)]
("rabbit" "is" "nice" "-")
triple3
The squirrel needs the rabbit.
True
2
proof
[(((triple4) -> rule1))]
("squirrel" "needs" "rabbit" "+")
((triple4) -> (rule1 % int1))
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
int1
The squirrel does not need the rabbit.
False
2
inv-proof
[(((triple4) -> rule1))]
("squirrel" "needs" "rabbit" "-")
((triple4) -> (rule1 % int1))
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
int1
The bear does not need the rabbit.
Unknown
inv-rconc
[@1: The bear needs the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "needs" "rabbit" "-")
The dog needs the rabbit.
Unknown
rconc
[@1: The dog needs the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "needs" "rabbit" "+")
The squirrel does not visit the rabbit.
Unknown
inv-random
[@0: The squirrel visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "rabbit" "-")
The squirrel visits the dog.
Unknown
random
[@0: The squirrel visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "dog" "+")
@0: The bear chases the rabbit.[(triple1)] The dog is red.[(triple2)] The rabbit is nice.[(triple3)] The squirrel visits the bear.[(triple4)] @1: The squirrel needs the rabbit.[(((triple4) -> rule1))]
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple1
The dog is red.
("dog" "is" "red" "+")
triple2
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple3
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple4
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
((triple4) -> (rule1 % int1))
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
int1