The bear chases the dog. The bear chases the rabbit. The bear is green. The bear is red. The bear sees the mouse. The dog chases the bear. The dog visits the mouse. The mouse chases the bear. The mouse is big. The mouse is red. The mouse sees the dog. The mouse visits the bear. The rabbit is big. The rabbit sees the bear. The rabbit sees the dog. The rabbit sees the mouse. If someone is green and they chase the rabbit then the rabbit chases the dog. If someone sees the mouse and the mouse chases the dog then they chase the rabbit. If someone visits the bear then the bear is green. If someone chases the dog then they chase the bear. If someone is big and green then they visit the mouse. If someone chases the bear and the bear visits the mouse then the bear chases the dog.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is red.
("bear" "is" "red" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
If someone is green and they chase the rabbit then the rabbit chases the dog.
((("someone" "is" "green" "+") ("someone" "chases" "rabbit" "+")) -> ("rabbit" "chases" "dog" "+"))
If someone sees the mouse and the mouse chases the dog then they chase the rabbit.
((("someone" "sees" "mouse" "+") ("mouse" "chases" "dog" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone visits the bear then the bear is green.
((("someone" "visits" "bear" "+")) -> ("bear" "is" "green" "+"))
If someone chases the dog then they chase the bear.
((("someone" "chases" "dog" "+")) -> ("someone" "chases" "bear" "+"))
If someone is big and green then they visit the mouse.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "visits" "mouse" "+"))
If someone chases the bear and the bear visits the mouse then the bear chases the dog.
((("someone" "chases" "bear" "+") ("bear" "visits" "mouse" "+")) -> ("bear" "chases" "dog" "+"))
The bear is red.
True
1
proof
[(triple4)]
("bear" "is" "red" "+")
triple4
The bear does not chase the dog.
False
1
inv-proof
[(triple1)]
("bear" "chases" "dog" "-")
triple1
The bear chases the bear.
True
2
proof
[(((triple1) -> rule4))]
("bear" "chases" "bear" "+")
((triple1) -> (rule4 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear does not chase the bear.
False
2
inv-proof
[(((triple1) -> rule4))]
("bear" "chases" "bear" "-")
((triple1) -> (rule4 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The rabbit does not visit the mouse.
Unknown
inv-rconc
[@1: The rabbit visits the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "visits" "mouse" "-")
The mouse visits the mouse.
Unknown
rconc
[@1: The mouse visits the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "visits" "mouse" "+")
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
@0: The bear chases the dog.[(triple1)] The bear chases the rabbit.[(triple2)] The bear is green.[(triple3 OR ((triple12) -> rule3))] The bear is red.[(triple4)] The bear sees the mouse.[(triple5)] The dog chases the bear.[(triple6)] The dog visits the mouse.[(triple7)] The mouse chases the bear.[(triple8)] The mouse is big.[(triple9)] The mouse is red.[(triple10)] The mouse sees the dog.[(triple11)] The mouse visits the bear.[(triple12)] The rabbit is big.[(triple13)] The rabbit sees the bear.[(triple14)] The rabbit sees the dog.[(triple15)] The rabbit sees the mouse.[(triple16)] @1: The bear chases the bear.[(((triple1) -> rule4))] The rabbit chases the dog.[(((triple3 triple2) -> rule1) OR ((((triple12) -> rule3) triple2) -> rule1))] @2: The rabbit chases the bear.[(((((triple3 triple2) -> rule1)) -> rule4) OR ((((((triple12) -> rule3) triple2) -> rule1)) -> rule4))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
((triple12) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is red.
("bear" "is" "red" "+")
triple4
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple5
The dog chases the bear.
("dog" "chases" "bear" "+")
triple6
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple7
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple8
The mouse is big.
("mouse" "is" "big" "+")
triple9
The mouse is red.
("mouse" "is" "red" "+")
triple10
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple11
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple12
The rabbit is big.
("rabbit" "is" "big" "+")
triple13
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple14
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple15
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple16
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple1) -> (rule4 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
((triple3 triple2) -> (rule1 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
((((triple12) -> (rule3 % int2)) triple2) -> (rule1 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
((((triple3 triple2) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int2
((((((triple12) -> (rule3 % int3)) triple2) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3