The bear chases the lion. The bear is cold. The bear visits the dog. The bear visits the lion. The cow chases the dog. The cow is kind. The cow is nice. The cow is round. The cow does not need the lion. The cow visits the bear. The cow visits the dog. The dog is nice. The dog is round. The dog needs the bear. The dog does not visit the cow. The lion visits the bear. If something visits the dog then the dog needs the bear. If something needs the lion then it is not big. If something is cold then it visits the bear.
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is round.
("cow" "is" "round" "+")
The cow does not need the lion.
("cow" "needs" "lion" "-")
The cow visits the bear.
("cow" "visits" "bear" "+")
The cow visits the dog.
("cow" "visits" "dog" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is round.
("dog" "is" "round" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog does not visit the cow.
("dog" "visits" "cow" "-")
The lion visits the bear.
("lion" "visits" "bear" "+")
If something visits the dog then the dog needs the bear.
((("something" "visits" "dog" "+")) -> ("dog" "needs" "bear" "+"))
If something needs the lion then it is not big.
((("something" "needs" "lion" "+")) -> ("something" "is" "big" "-"))
If something is cold then it visits the bear.
((("something" "is" "cold" "+")) -> ("something" "visits" "bear" "+"))
The bear chases the lion.
True
1
proof
[(triple1)]
("bear" "chases" "lion" "+")
triple1
The dog is not nice.
False
1
inv-proof
[(triple12)]
("dog" "is" "nice" "-")
triple12
The bear visits the bear.
True
2
proof
[(((triple2) -> rule3))]
("bear" "visits" "bear" "+")
((triple2) -> (rule3 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear does not visit the bear.
False
2
inv-proof
[(((triple2) -> rule3))]
("bear" "visits" "bear" "-")
((triple2) -> (rule3 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The dog does not visit the bear.
Unknown
inv-rconc
[@1: The dog visits the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "visits" "bear" "-")
The bear needs the lion.
Unknown
random
[@0: The bear needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "lion" "+")
The lion does not need the dog.
Unknown
inv-random
[@0: The lion needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "dog" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
@0: The bear chases the lion.[(triple1)] The bear is cold.[(triple2)] The bear visits the dog.[(triple3)] The bear visits the lion.[(triple4)] The cow chases the dog.[(triple5)] The cow does not need the lion.[(triple9)] The cow is kind.[(triple6)] The cow is nice.[(triple7)] The cow is round.[(triple8)] The cow visits the bear.[(triple10)] The cow visits the dog.[(triple11)] The dog does not visit the cow.[(triple15)] The dog is nice.[(triple12)] The dog is round.[(triple13)] The dog needs the bear.[(triple14 OR ((triple11) -> rule1) OR ((triple3) -> rule1))] The lion visits the bear.[(triple16)] @1: The bear visits the bear.[(((triple2) -> rule3))]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear visits the dog.
("bear" "visits" "dog" "+")
triple3
The bear visits the lion.
("bear" "visits" "lion" "+")
triple4
The cow chases the dog.
("cow" "chases" "dog" "+")
triple5
The cow does not need the lion.
("cow" "needs" "lion" "-")
triple9
The cow is kind.
("cow" "is" "kind" "+")
triple6
The cow is nice.
("cow" "is" "nice" "+")
triple7
The cow is round.
("cow" "is" "round" "+")
triple8
The cow visits the bear.
("cow" "visits" "bear" "+")
triple10
The cow visits the dog.
("cow" "visits" "dog" "+")
triple11
The dog does not visit the cow.
("dog" "visits" "cow" "-")
triple15
The dog is nice.
("dog" "is" "nice" "+")
triple12
The dog is round.
("dog" "is" "round" "+")
triple13
The dog needs the bear.
("dog" "needs" "bear" "+")
triple14
((triple11) -> (rule1 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
((triple3) -> (rule1 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The lion visits the bear.
("lion" "visits" "bear" "+")
triple16
The bear visits the bear.
("bear" "visits" "bear" "+")
((triple2) -> (rule3 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1