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