The bear chases the dog. The bear chases the mouse. The bear is green. The bear is nice. The dog chases the bear. The dog chases the mouse. The dog is big. The dog is blue. The dog likes the mouse. The dog sees the bear. The dog sees the mouse. The mouse chases the bear. The mouse is big. The mouse is cold. The mouse likes the dog. If something chases the dog and it chases the mouse then the dog likes the bear. If something likes the bear then it is nice.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is nice.
("bear" "is" "nice" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
If something chases the dog and it chases the mouse then the dog likes the bear.
((("something" "chases" "dog" "+") ("something" "chases" "mouse" "+")) -> ("dog" "likes" "bear" "+"))
If something likes the bear then it is nice.
((("something" "likes" "bear" "+")) -> ("something" "is" "nice" "+"))
The bear is green.
True
1
proof
[(triple3)]
("bear" "is" "green" "+")
triple3
The bear is not nice.
False
1
inv-proof
[(triple4)]
("bear" "is" "nice" "-")
triple4
The dog likes the bear.
True
3
proof
[(((triple1 triple2) -> rule1))]
("dog" "likes" "bear" "+")
((triple1 triple2) -> (rule1 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The dog does not like the bear.
False
3
inv-proof
[(((triple1 triple2) -> rule1))]
("dog" "likes" "bear" "-")
((triple1 triple2) -> (rule1 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The dog is nice.
True
4
proof
[(((((triple1 triple2) -> rule1)) -> rule2))]
("dog" "is" "nice" "+")
((((triple1 triple2) -> (rule1 % int2))) -> (rule2 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
The dog is not nice.
False
4
inv-proof
[(((((triple1 triple2) -> rule1)) -> rule2))]
("dog" "is" "nice" "-")
((((triple1 triple2) -> (rule1 % int2))) -> (rule2 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
The mouse is not nice.
Unknown
inv-rconc
[@1: The mouse is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "is" "nice" "-")
The mouse sees the bear.
Unknown
random
[@0: The mouse sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "bear" "+")
The bear does not like the mouse.
Unknown
inv-random
[@0: The bear likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "mouse" "-")
The mouse is green.
Unknown
random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "+")
The mouse is not blue.
Unknown
inv-random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
@0: The bear chases the dog.[(triple1)] The bear chases the mouse.[(triple2)] The bear is green.[(triple3)] The bear is nice.[(triple4)] The dog chases the bear.[(triple5)] The dog chases the mouse.[(triple6)] The dog is big.[(triple7)] The dog is blue.[(triple8)] The dog likes the mouse.[(triple9)] The dog sees the bear.[(triple10)] The dog sees the mouse.[(triple11)] The mouse chases the bear.[(triple12)] The mouse is big.[(triple13)] The mouse is cold.[(triple14)] The mouse likes the dog.[(triple15)] @1: The dog likes the bear.[(((triple1 triple2) -> rule1))] @2: The dog is nice.[(((((triple1 triple2) -> rule1)) -> rule2))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The bear is nice.
("bear" "is" "nice" "+")
triple4
The dog chases the bear.
("dog" "chases" "bear" "+")
triple5
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple6
The dog is big.
("dog" "is" "big" "+")
triple7
The dog is blue.
("dog" "is" "blue" "+")
triple8
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple9
The dog sees the bear.
("dog" "sees" "bear" "+")
triple10
The dog sees the mouse.
("dog" "sees" "mouse" "+")
triple11
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple12
The mouse is big.
("mouse" "is" "big" "+")
triple13
The mouse is cold.
("mouse" "is" "cold" "+")
triple14
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple15
The dog likes the bear.
("dog" "likes" "bear" "+")
((triple1 triple2) -> (rule1 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
((((triple1 triple2) -> (rule1 % int2))) -> (rule2 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2