The dog chases the tiger. The dog is not cold. The dog is kind. The dog is nice. The dog is round. The dog is young. The dog does not like the tiger. The dog needs the tiger. The tiger chases the dog. The tiger is cold. The tiger is not kind. The tiger is nice. The tiger is round. The tiger does not like the dog. The tiger does not need the dog. If something chases the tiger then it needs the dog. If something is cold and it needs the tiger then it chases the tiger. If something chases the tiger and the tiger is round then the tiger does not like the dog. If the tiger is not nice then the tiger is kind. If the dog is not round then the dog needs the tiger. If something is round and it needs the dog then it does not like the dog. If the tiger likes the dog and the tiger does not chase the dog then the tiger needs the dog. If something likes the tiger and it does not chase the tiger then the tiger does not need the dog.
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog is not cold.
("dog" "is" "cold" "-")
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
The dog does not like the tiger.
("dog" "likes" "tiger" "-")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is not kind.
("tiger" "is" "kind" "-")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger does not like the dog.
("tiger" "likes" "dog" "-")
The tiger does not need the dog.
("tiger" "needs" "dog" "-")
If something chases the tiger then it needs the dog.
((("something" "chases" "tiger" "+")) -> ("something" "needs" "dog" "+"))
If something is cold and it needs the tiger then it chases the tiger.
((("something" "is" "cold" "+") ("something" "needs" "tiger" "+")) -> ("something" "chases" "tiger" "+"))
If something chases the tiger and the tiger is round then the tiger does not like the dog.
((("something" "chases" "tiger" "+") ("tiger" "is" "round" "+")) -> ("tiger" "likes" "dog" "-"))
If the tiger is not nice then the tiger is kind.
((("tiger" "is" "nice" "~")) -> ("tiger" "is" "kind" "+"))
If the dog is not round then the dog needs the tiger.
((("dog" "is" "round" "~")) -> ("dog" "needs" "tiger" "+"))
If something is round and it needs the dog then it does not like the dog.
((("something" "is" "round" "+") ("something" "needs" "dog" "+")) -> ("something" "likes" "dog" "-"))
If the tiger likes the dog and the tiger does not chase the dog then the tiger needs the dog.
((("tiger" "likes" "dog" "+") ("tiger" "chases" "dog" "~")) -> ("tiger" "needs" "dog" "+"))
If something likes the tiger and it does not chase the tiger then the tiger does not need the dog.
((("something" "likes" "tiger" "+") ("something" "chases" "tiger" "~")) -> ("tiger" "needs" "dog" "-"))
The tiger does not need the dog.
True
1
proof
[(triple15)]
("tiger" "needs" "dog" "-")
triple15
The dog is cold.
False
1
inv-proof
[(triple2)]
("dog" "is" "cold" "+")
triple2
The dog needs the dog.
True
2
proof
[(((triple1) -> rule1))]
("dog" "needs" "dog" "+")
((triple1) -> (rule1 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog does not need the dog.
False
2
inv-proof
[(((triple1) -> rule1))]
("dog" "needs" "dog" "-")
((triple1) -> (rule1 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog does not like the dog.
True
4
proof
[(((triple5 ((triple1) -> rule1)) -> rule6))]
("dog" "likes" "dog" "-")
((triple5 ((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The dog does not like the dog.
("dog" "likes" "dog" "-")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The dog likes the dog.
False
4
inv-proof
[(((triple5 ((triple1) -> rule1)) -> rule6))]
("dog" "likes" "dog" "+")
((triple5 ((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The dog does not like the dog.
("dog" "likes" "dog" "-")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
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 tiger likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
The tiger does not need the tiger.
Unknown
inv-random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "-")
The tiger is young.
Unknown
random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "+")
@0: The dog chases the tiger.[(triple1)] The dog does not like the tiger.[(triple7)] The dog is kind.[(triple3)] The dog is nice.[(triple4)] The dog is not cold.[(triple2)] The dog is round.[(triple5)] The dog is young.[(triple6)] The dog needs the tiger.[(triple8)] The tiger chases the dog.[(triple9)] The tiger does not like the dog.[(triple14 OR ((triple1 triple13) -> rule3))] The tiger does not need the dog.[(triple15)] The tiger is cold.[(triple10)] The tiger is nice.[(triple12)] The tiger is not kind.[(triple11)] The tiger is round.[(triple13)] @1: The dog needs the dog.[(((triple1) -> rule1))] @2: The dog does not like the dog.[(((triple5 ((triple1) -> rule1)) -> rule6))]
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple1
The dog does not like the tiger.
("dog" "likes" "tiger" "-")
triple7
The dog is kind.
("dog" "is" "kind" "+")
triple3
The dog is nice.
("dog" "is" "nice" "+")
triple4
The dog is not cold.
("dog" "is" "cold" "-")
triple2
The dog is round.
("dog" "is" "round" "+")
triple5
The dog is young.
("dog" "is" "young" "+")
triple6
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple8
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple9
The tiger does not like the dog.
("tiger" "likes" "dog" "-")
triple14
((triple1 triple13) -> (rule3 % int1))
The tiger does not like the dog.
("tiger" "likes" "dog" "-")
int1
The tiger does not need the dog.
("tiger" "needs" "dog" "-")
triple15
The tiger is cold.
("tiger" "is" "cold" "+")
triple10
The tiger is nice.
("tiger" "is" "nice" "+")
triple12
The tiger is not kind.
("tiger" "is" "kind" "-")
triple11
The tiger is round.
("tiger" "is" "round" "+")
triple13
The dog needs the dog.
("dog" "needs" "dog" "+")
((triple1) -> (rule1 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog does not like the dog.
("dog" "likes" "dog" "-")
((triple5 ((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The dog does not like the dog.
("dog" "likes" "dog" "-")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2