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