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