The bear chases the dog. The bear is big. The bear is blue. The bear is nice. The bear is red. The bear does not visit the dog. The dog chases the bear. The dog is big. The dog is nice. The dog is red. The dog sees the bear. The dog visits the bear. If something is nice and not big then it visits the dog. If something sees the bear then the bear does not visit the dog. If something chases the dog and the dog visits the bear then the dog is red. If something is round and not blue then it chases the dog. If something chases the bear then it chases the dog. If something sees the bear and the bear sees the dog then it does not visit the bear.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is red.
("bear" "is" "red" "+")
The bear does not visit the dog.
("bear" "visits" "dog" "-")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
If something is nice and not big then it visits the dog.
((("something" "is" "nice" "+") ("something" "is" "big" "~")) -> ("something" "visits" "dog" "+"))
If something sees the bear then the bear does not visit the dog.
((("something" "sees" "bear" "+")) -> ("bear" "visits" "dog" "-"))
If something chases the dog and the dog visits the bear then the dog is red.
((("something" "chases" "dog" "+") ("dog" "visits" "bear" "+")) -> ("dog" "is" "red" "+"))
If something is round and not blue then it chases the dog.
((("something" "is" "round" "+") ("something" "is" "blue" "~")) -> ("something" "chases" "dog" "+"))
If something chases the bear then it chases the dog.
((("something" "chases" "bear" "+")) -> ("something" "chases" "dog" "+"))
If something sees the bear and the bear sees the dog then it does not visit the bear.
((("something" "sees" "bear" "+") ("bear" "sees" "dog" "+")) -> ("something" "visits" "bear" "-"))
The bear is red.
True
1
proof
[(triple5)]
("bear" "is" "red" "+")
triple5
The bear is not big.
False
1
inv-proof
[(triple2)]
("bear" "is" "big" "-")
triple2
The dog does not visit the dog.
Unknown
inv-rconc
[@1: The dog visits the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "visits" "dog" "-")
The dog is blue.
Unknown
random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "+")
@0: The bear chases the dog.[(triple1)] The bear does not visit the dog.[(triple6 OR ((triple11) -> rule2))] The bear is big.[(triple2)] The bear is blue.[(triple3)] The bear is nice.[(triple4)] The bear is red.[(triple5)] The dog chases the bear.[(triple7)] The dog is big.[(triple8)] The dog is nice.[(triple9)] The dog is red.[(triple10 OR ((triple1 triple12) -> rule3) OR ((((triple7) -> rule5) triple12) -> rule3))] The dog sees the bear.[(triple11)] The dog visits the bear.[(triple12)] @1: The dog chases the dog.[(((triple7) -> rule5))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear does not visit the dog.
("bear" "visits" "dog" "-")
triple6
((triple11) -> (rule2 % int1))
The bear does not visit the dog.
("bear" "visits" "dog" "-")
int1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear is nice.
("bear" "is" "nice" "+")
triple4
The bear is red.
("bear" "is" "red" "+")
triple5
The dog chases the bear.
("dog" "chases" "bear" "+")
triple7
The dog is big.
("dog" "is" "big" "+")
triple8
The dog is nice.
("dog" "is" "nice" "+")
triple9
The dog is red.
("dog" "is" "red" "+")
triple10
((triple1 triple12) -> (rule3 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
((((triple7) -> (rule5 % int2)) triple12) -> (rule3 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog sees the bear.
("dog" "sees" "bear" "+")
triple11
The dog visits the bear.
("dog" "visits" "bear" "+")
triple12
The dog chases the dog.
("dog" "chases" "dog" "+")
((triple7) -> (rule5 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1