The cat chases the tiger. The cat is blue. The cat is rough. The cow chases the cat. The cow chases the dog. The cow is kind. The cow likes the cat. The cow needs the tiger. The dog chases the cat. The dog is nice. The dog needs the cow. The dog needs the tiger. The tiger chases the dog. The tiger is rough. The tiger needs the cat. The tiger needs the cow. If someone chases the tiger and they need the tiger then the tiger is blue. If someone is nice then they chase the tiger. If someone is kind then they like the cat.
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The cow needs the tiger.
("cow" "needs" "tiger" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger needs the cat.
("tiger" "needs" "cat" "+")
The tiger needs the cow.
("tiger" "needs" "cow" "+")
If someone chases the tiger and they need the tiger then the tiger is blue.
((("someone" "chases" "tiger" "+") ("someone" "needs" "tiger" "+")) -> ("tiger" "is" "blue" "+"))
If someone is nice then they chase the tiger.
((("someone" "is" "nice" "+")) -> ("someone" "chases" "tiger" "+"))
If someone is kind then they like the cat.
((("someone" "is" "kind" "+")) -> ("someone" "likes" "cat" "+"))
The tiger needs the cat.
True
1
proof
[(triple15)]
("tiger" "needs" "cat" "+")
triple15
The dog does not need the cow.
False
1
inv-proof
[(triple11)]
("dog" "needs" "cow" "-")
triple11
The dog chases the tiger.
True
2
proof
[(((triple10) -> rule2))]
("dog" "chases" "tiger" "+")
((triple10) -> (rule2 % int1))
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int1
The dog does not chase the tiger.
False
2
inv-proof
[(((triple10) -> rule2))]
("dog" "chases" "tiger" "-")
((triple10) -> (rule2 % int1))
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int1
The tiger is blue.
True
4
proof
[(((((triple10) -> rule2) triple12) -> rule1))]
("tiger" "is" "blue" "+")
((((triple10) -> (rule2 % int2)) triple12) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int2
The tiger is not blue.
False
4
inv-proof
[(((((triple10) -> rule2) triple12) -> rule1))]
("tiger" "is" "blue" "-")
((((triple10) -> (rule2 % int2)) triple12) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int2
The tiger does not chase the tiger.
Unknown
inv-rconc
[@1: The tiger chases the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "chases" "tiger" "-")
The cow chases the tiger.
Unknown
rconc
[@1: The cow chases the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "chases" "tiger" "+")
The cat does not like the cat.
Unknown
inv-rconc
[@1: The cat likes the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "likes" "cat" "-")
The tiger likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
The cat does not chase the dog.
Unknown
inv-random
[@0: The cat chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "dog" "-")
The dog chases the cow.
Unknown
random
[@0: The dog chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "cow" "+")
@0: The cat chases the tiger.[(triple1)] The cat is blue.[(triple2)] The cat is rough.[(triple3)] The cow chases the cat.[(triple4)] The cow chases the dog.[(triple5)] The cow is kind.[(triple6)] The cow likes the cat.[(triple7 OR ((triple6) -> rule3))] The cow needs the tiger.[(triple8)] The dog chases the cat.[(triple9)] The dog is nice.[(triple10)] The dog needs the cow.[(triple11)] The dog needs the tiger.[(triple12)] The tiger chases the dog.[(triple13)] The tiger is rough.[(triple14)] The tiger needs the cat.[(triple15)] The tiger needs the cow.[(triple16)] @1: The dog chases the tiger.[(((triple10) -> rule2))] @2: The tiger is blue.[(((((triple10) -> rule2) triple12) -> rule1))]
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple1
The cat is blue.
("cat" "is" "blue" "+")
triple2
The cat is rough.
("cat" "is" "rough" "+")
triple3
The cow chases the cat.
("cow" "chases" "cat" "+")
triple4
The cow chases the dog.
("cow" "chases" "dog" "+")
triple5
The cow is kind.
("cow" "is" "kind" "+")
triple6
The cow likes the cat.
("cow" "likes" "cat" "+")
triple7
((triple6) -> (rule3 % int1))
The cow likes the cat.
("cow" "likes" "cat" "+")
int1
The cow needs the tiger.
("cow" "needs" "tiger" "+")
triple8
The dog chases the cat.
("dog" "chases" "cat" "+")
triple9
The dog is nice.
("dog" "is" "nice" "+")
triple10
The dog needs the cow.
("dog" "needs" "cow" "+")
triple11
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple12
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple13
The tiger is rough.
("tiger" "is" "rough" "+")
triple14
The tiger needs the cat.
("tiger" "needs" "cat" "+")
triple15
The tiger needs the cow.
("tiger" "needs" "cow" "+")
triple16
The dog chases the tiger.
("dog" "chases" "tiger" "+")
((triple10) -> (rule2 % int1))
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
((((triple10) -> (rule2 % int2)) triple12) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int2