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