The dog chases the mouse. The dog is rough. The dog sees the mouse. The dog visits the mouse. The mouse chases the dog. The mouse is cold. The mouse is green. The mouse is red. The mouse sees the dog. The mouse visits the dog. If the dog is green and the dog visits the mouse then the dog sees the mouse. If someone visits the mouse and they chase the mouse then the mouse is rough. If someone is green and red then they see the mouse. If someone visits the dog and the dog sees the mouse then the dog chases the mouse. If someone is round then they chase the dog. If someone is cold and they chase the mouse then they visit the dog. If someone visits the mouse then the mouse chases the dog. If someone chases the dog then they are round.
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
If the dog is green and the dog visits the mouse then the dog sees the mouse.
((("dog" "is" "green" "+") ("dog" "visits" "mouse" "+")) -> ("dog" "sees" "mouse" "+"))
If someone visits the mouse and they chase the mouse then the mouse is rough.
((("someone" "visits" "mouse" "+") ("someone" "chases" "mouse" "+")) -> ("mouse" "is" "rough" "+"))
If someone is green and red then they see the mouse.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "sees" "mouse" "+"))
If someone visits the dog and the dog sees the mouse then the dog chases the mouse.
((("someone" "visits" "dog" "+") ("dog" "sees" "mouse" "+")) -> ("dog" "chases" "mouse" "+"))
If someone is round then they chase the dog.
((("someone" "is" "round" "+")) -> ("someone" "chases" "dog" "+"))
If someone is cold and they chase the mouse then they visit the dog.
((("someone" "is" "cold" "+") ("someone" "chases" "mouse" "+")) -> ("someone" "visits" "dog" "+"))
If someone visits the mouse then the mouse chases the dog.
((("someone" "visits" "mouse" "+")) -> ("mouse" "chases" "dog" "+"))
If someone chases the dog then they are round.
((("someone" "chases" "dog" "+")) -> ("someone" "is" "round" "+"))
The dog sees the mouse.
True
1
proof
[(triple3)]
("dog" "sees" "mouse" "+")
triple3
The mouse is not cold.
False
1
inv-proof
[(triple6)]
("mouse" "is" "cold" "-")
triple6
The mouse is round.
True
2
proof
[(((triple5) -> rule8) OR ((((triple4) -> rule7)) -> rule8))]
("mouse" "is" "round" "+")
((triple5) -> (rule8 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
((((triple4) -> (rule7 % int2))) -> (rule8 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int2
The mouse is not round.
False
2
inv-proof
[(((triple5) -> rule8) OR ((((triple4) -> rule7)) -> rule8))]
("mouse" "is" "round" "-")
((triple5) -> (rule8 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
((((triple4) -> (rule7 % int2))) -> (rule8 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int2
The dog does not chase the dog.
Unknown
inv-rconc
[@2: The dog chases the dog.[CWA. Example of deepest failure = (rule5 <- rule8 <- FAIL)]]
("dog" "chases" "dog" "-")
The dog is round.
Unknown
rconc
[@2: The dog is round.[CWA. Example of deepest failure = (rule8 <- rule5 <- FAIL)]]
("dog" "is" "round" "+")
The dog is not cold.
Unknown
inv-random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "-")
The dog is red.
Unknown
random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "+")
@0: The dog chases the mouse.[(triple1 OR ((triple10 triple3) -> rule4))] The dog is rough.[(triple2)] The dog sees the mouse.[(triple3)] The dog visits the mouse.[(triple4)] The mouse chases the dog.[(triple5 OR ((triple4) -> rule7))] The mouse is cold.[(triple6)] The mouse is green.[(triple7)] The mouse is red.[(triple8)] The mouse sees the dog.[(triple9)] The mouse visits the dog.[(triple10)] @1: The mouse is rough.[(((triple4 triple1) -> rule2) OR ((triple4 ((triple10 triple3) -> rule4)) -> rule2))] The mouse is round.[(((triple5) -> rule8) OR ((((triple4) -> rule7)) -> rule8))] The mouse sees the mouse.[(((triple7 triple8) -> rule3))]
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple1
((triple10 triple3) -> (rule4 % int1))
The dog chases the mouse.
("dog" "chases" "mouse" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
triple2
The dog sees the mouse.
("dog" "sees" "mouse" "+")
triple3
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple4
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple5
((triple4) -> (rule7 % int1))
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
triple6
The mouse is green.
("mouse" "is" "green" "+")
triple7
The mouse is red.
("mouse" "is" "red" "+")
triple8
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple9
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple10
The mouse is rough.
("mouse" "is" "rough" "+")
((triple4 triple1) -> (rule2 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
((triple4 ((triple10 triple3) -> (rule4 % int2))) -> (rule2 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The dog chases the mouse.
("dog" "chases" "mouse" "+")
int2
The mouse is round.
("mouse" "is" "round" "+")
((triple5) -> (rule8 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
((((triple4) -> (rule7 % int2))) -> (rule8 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int2
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
((triple7 triple8) -> (rule3 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1