The bear eats the dog. The dog visits the tiger. The rabbit chases the tiger. The tiger eats the dog. If someone eats the dog then the dog is blue. If the rabbit eats the bear and the rabbit chases the bear then the bear is cold.
The bear eats the dog.
("bear" "eats" "dog" "+")
The dog visits the tiger.
("dog" "visits" "tiger" "+")
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The tiger eats the dog.
("tiger" "eats" "dog" "+")
If someone eats the dog then the dog is blue.
((("someone" "eats" "dog" "+")) -> ("dog" "is" "blue" "+"))
If the rabbit eats the bear and the rabbit chases the bear then the bear is cold.
((("rabbit" "eats" "bear" "+") ("rabbit" "chases" "bear" "+")) -> ("bear" "is" "cold" "+"))
The bear eats the dog.
True
1
proof
[(triple1)]
("bear" "eats" "dog" "+")
triple1
The tiger does not eat the dog.
False
1
inv-proof
[(triple4)]
("tiger" "eats" "dog" "-")
triple4
The dog is blue.
True
2
proof
[(((triple1) -> rule1) OR ((triple4) -> rule1))]
("dog" "is" "blue" "+")
((triple1) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
((triple4) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog is not blue.
False
2
inv-proof
[(((triple1) -> rule1) OR ((triple4) -> rule1))]
("dog" "is" "blue" "-")
((triple1) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
((triple4) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The bear is not cold.
Unknown
inv-rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "cold" "-")
The rabbit visits the tiger.
Unknown
random
[@0: The rabbit visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "tiger" "+")
The rabbit does not chase the rabbit.
Unknown
inv-random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "-")
The bear eats the rabbit.
Unknown
random
[@0: The bear eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "rabbit" "+")
@0: The bear eats the dog.[(triple1)] The dog visits the tiger.[(triple2)] The rabbit chases the tiger.[(triple3)] The tiger eats the dog.[(triple4)] @1: The dog is blue.[(((triple1) -> rule1) OR ((triple4) -> rule1))]
The bear eats the dog.
("bear" "eats" "dog" "+")
triple1
The dog visits the tiger.
("dog" "visits" "tiger" "+")
triple2
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple3
The tiger eats the dog.
("tiger" "eats" "dog" "+")
triple4
The dog is blue.
("dog" "is" "blue" "+")
((triple1) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
((triple4) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1