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