The bear chases the dog. The bear eats the dog. The bear is blue. The dog chases the bear. The dog eats the bear. The dog eats the lion. The dog eats the tiger. The dog is kind. The dog needs the lion. The lion chases the dog. The lion is round. The lion needs the bear. The tiger chases the dog. The tiger chases the lion. The tiger is blue. The tiger is red. If something is cold and red then it eats the dog.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is blue.
("bear" "is" "blue" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog needs the lion.
("dog" "needs" "lion" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion is round.
("lion" "is" "round" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is red.
("tiger" "is" "red" "+")
If something is cold and red then it eats the dog.
((("something" "is" "cold" "+") ("something" "is" "red" "+")) -> ("something" "eats" "dog" "+"))
The dog eats the lion.
True
1
proof
[(triple6)]
("dog" "eats" "lion" "+")
triple6
The dog is not kind.
False
1
inv-proof
[(triple8)]
("dog" "is" "kind" "-")
triple8
The tiger does not eat the dog.
Unknown
inv-rconc
[@1: The tiger eats the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "eats" "dog" "-")
The lion chases the bear.
Unknown
random
[@0: The lion chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "bear" "+")
@0: The bear chases the dog.[(triple1)] The bear eats the dog.[(triple2)] The bear is blue.[(triple3)] The dog chases the bear.[(triple4)] The dog eats the bear.[(triple5)] The dog eats the lion.[(triple6)] The dog eats the tiger.[(triple7)] The dog is kind.[(triple8)] The dog needs the lion.[(triple9)] The lion chases the dog.[(triple10)] The lion is round.[(triple11)] The lion needs the bear.[(triple12)] The tiger chases the dog.[(triple13)] The tiger chases the lion.[(triple14)] The tiger is blue.[(triple15)] The tiger is red.[(triple16)]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear eats the dog.
("bear" "eats" "dog" "+")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple3
The dog chases the bear.
("dog" "chases" "bear" "+")
triple4
The dog eats the bear.
("dog" "eats" "bear" "+")
triple5
The dog eats the lion.
("dog" "eats" "lion" "+")
triple6
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple7
The dog is kind.
("dog" "is" "kind" "+")
triple8
The dog needs the lion.
("dog" "needs" "lion" "+")
triple9
The lion chases the dog.
("lion" "chases" "dog" "+")
triple10
The lion is round.
("lion" "is" "round" "+")
triple11
The lion needs the bear.
("lion" "needs" "bear" "+")
triple12
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple13
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple14
The tiger is blue.
("tiger" "is" "blue" "+")
triple15
The tiger is red.
("tiger" "is" "red" "+")
triple16