The bear chases the tiger. The bear is kind. The bear needs the dog. The bear needs the tiger. The dog chases the bear. The dog chases the tiger. The dog is kind. The tiger needs the bear. The tiger needs the dog. The tiger visits the bear. If something chases the bear then it is nice.
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog is kind.
("dog" "is" "kind" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If something chases the bear then it is nice.
((("something" "chases" "bear" "+")) -> ("something" "is" "nice" "+"))
The dog is kind.
True
1
proof
[(triple7)]
("dog" "is" "kind" "+")
triple7
The dog does not chase the bear.
False
1
inv-proof
[(triple5)]
("dog" "chases" "bear" "-")
triple5
The dog is nice.
True
2
proof
[(((triple5) -> rule1))]
("dog" "is" "nice" "+")
((triple5) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is not nice.
False
2
inv-proof
[(((triple5) -> rule1))]
("dog" "is" "nice" "-")
((triple5) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The bear is not nice.
Unknown
inv-rconc
[@1: The bear is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "nice" "-")
The tiger is nice.
Unknown
rconc
[@1: The tiger is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "nice" "+")
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 dog is red.
Unknown
random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "+")
@0: The bear chases the tiger.[(triple1)] The bear is kind.[(triple2)] The bear needs the dog.[(triple3)] The bear needs the tiger.[(triple4)] The dog chases the bear.[(triple5)] The dog chases the tiger.[(triple6)] The dog is kind.[(triple7)] The tiger needs the bear.[(triple8)] The tiger needs the dog.[(triple9)] The tiger visits the bear.[(triple10)] @1: The dog is nice.[(((triple5) -> rule1))]
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear needs the dog.
("bear" "needs" "dog" "+")
triple3
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple4
The dog chases the bear.
("dog" "chases" "bear" "+")
triple5
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple6
The dog is kind.
("dog" "is" "kind" "+")
triple7
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple8
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple9
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple10
The dog is nice.
("dog" "is" "nice" "+")
((triple5) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1