The bear is cold. The bear is green. The bear needs the dog. The bear visits the cat. The cat is cold. The cat is nice. The cat is round. The cat needs the mouse. The cat sees the dog. The cat visits the dog. The dog visits the cat. The dog visits the mouse. The mouse needs the bear. The mouse sees the bear. The mouse visits the bear. If someone sees the cat then they are round. If someone is round then they need the mouse.
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is round.
("cat" "is" "round" "+")
The cat needs the mouse.
("cat" "needs" "mouse" "+")
The cat sees the dog.
("cat" "sees" "dog" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
If someone sees the cat then they are round.
((("someone" "sees" "cat" "+")) -> ("someone" "is" "round" "+"))
If someone is round then they need the mouse.
((("someone" "is" "round" "+")) -> ("someone" "needs" "mouse" "+"))
The cat sees the dog.
True
1
proof
[(triple9)]
("cat" "sees" "dog" "+")
triple9
The mouse does not visit the bear.
False
1
inv-proof
[(triple15)]
("mouse" "visits" "bear" "-")
triple15
The mouse is not round.
Unknown
inv-rconc
[@1: The mouse is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "round" "-")
The bear sees the dog.
Unknown
random
[@0: The bear sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "dog" "+")
@0: The bear is cold.[(triple1)] The bear is green.[(triple2)] The bear needs the dog.[(triple3)] The bear visits the cat.[(triple4)] The cat is cold.[(triple5)] The cat is nice.[(triple6)] The cat is round.[(triple7)] The cat needs the mouse.[(triple8 OR ((triple7) -> rule2))] The cat sees the dog.[(triple9)] The cat visits the dog.[(triple10)] The dog visits the cat.[(triple11)] The dog visits the mouse.[(triple12)] The mouse needs the bear.[(triple13)] The mouse sees the bear.[(triple14)] The mouse visits the bear.[(triple15)]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear needs the dog.
("bear" "needs" "dog" "+")
triple3
The bear visits the cat.
("bear" "visits" "cat" "+")
triple4
The cat is cold.
("cat" "is" "cold" "+")
triple5
The cat is nice.
("cat" "is" "nice" "+")
triple6
The cat is round.
("cat" "is" "round" "+")
triple7
The cat needs the mouse.
("cat" "needs" "mouse" "+")
triple8
((triple7) -> (rule2 % int1))
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int1
The cat sees the dog.
("cat" "sees" "dog" "+")
triple9
The cat visits the dog.
("cat" "visits" "dog" "+")
triple10
The dog visits the cat.
("dog" "visits" "cat" "+")
triple11
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple12
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple13
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple14
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple15