The dog chases the tiger. The tiger chases the dog. The tiger is big. The tiger is green. The tiger is young. The tiger likes the dog. The tiger needs the dog. If someone needs the dog and they are blue then they are green. If someone is blue then they need the tiger. If someone likes the tiger then the tiger needs the dog. If someone chases the tiger and the tiger chases the dog then the dog needs the tiger. If someone is blue and they like the dog then they need the tiger. If someone is blue and green then they chase the tiger. If the dog chases the tiger then the tiger chases the dog. If someone likes the dog and they need the dog then they are big.
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the dog.
("tiger" "likes" "dog" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
If someone needs the dog and they are blue then they are green.
((("someone" "needs" "dog" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is blue then they need the tiger.
((("someone" "is" "blue" "+")) -> ("someone" "needs" "tiger" "+"))
If someone likes the tiger then the tiger needs the dog.
((("someone" "likes" "tiger" "+")) -> ("tiger" "needs" "dog" "+"))
If someone chases the tiger and the tiger chases the dog then the dog needs the tiger.
((("someone" "chases" "tiger" "+") ("tiger" "chases" "dog" "+")) -> ("dog" "needs" "tiger" "+"))
If someone is blue and they like the dog then they need the tiger.
((("someone" "is" "blue" "+") ("someone" "likes" "dog" "+")) -> ("someone" "needs" "tiger" "+"))
If someone is blue and green then they chase the tiger.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "chases" "tiger" "+"))
If the dog chases the tiger then the tiger chases the dog.
((("dog" "chases" "tiger" "+")) -> ("tiger" "chases" "dog" "+"))
If someone likes the dog and they need the dog then they are big.
((("someone" "likes" "dog" "+") ("someone" "needs" "dog" "+")) -> ("someone" "is" "big" "+"))
The tiger is green.
True
1
proof
[(triple4)]
("tiger" "is" "green" "+")
triple4
The dog does not chase the tiger.
False
1
inv-proof
[(triple1)]
("dog" "chases" "tiger" "-")
triple1
The tiger does not need the tiger.
Unknown
inv-rconc
[@1: The tiger needs the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "needs" "tiger" "-")
The dog is nice.
Unknown
random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "+")
@0: The dog chases the tiger.[(triple1)] The tiger chases the dog.[(triple2 OR ((triple1) -> rule7))] The tiger is big.[(triple3 OR ((triple6 triple7) -> rule8))] The tiger is green.[(triple4)] The tiger is young.[(triple5)] The tiger likes the dog.[(triple6)] The tiger needs the dog.[(triple7)] @1: The dog needs the tiger.[(((triple1 triple2) -> rule4) OR ((triple1 ((triple1) -> rule7)) -> rule4))]
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple1
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple2
((triple1) -> (rule7 % int1))
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
triple3
((triple6 triple7) -> (rule8 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
triple4
The tiger is young.
("tiger" "is" "young" "+")
triple5
The tiger likes the dog.
("tiger" "likes" "dog" "+")
triple6
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple7
The dog needs the tiger.
("dog" "needs" "tiger" "+")
((triple1 triple2) -> (rule4 % int1))
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int1
((triple1 ((triple1) -> (rule7 % int2))) -> (rule4 % int1))
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int1
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int2