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