The dog chases the mouse. The dog is big. The dog is green. The dog is nice. The dog is red. The dog is rough. The dog needs the mouse. The dog does not see the mouse. The mouse chases the dog. The mouse is big. The mouse is green. The mouse is not nice. The mouse is red. The mouse is rough. The mouse needs the dog. The mouse sees the dog. If someone chases the mouse and they need the mouse then they chase the dog. If someone is rough and they do not chase the mouse then the mouse needs the dog. If someone is nice and they see the dog then they are big. If someone chases the dog then they are big. If someone chases the dog and they do not see the mouse then the dog is green. If someone sees the mouse and the mouse sees the dog then the mouse is not rough. If the dog is rough and the dog needs the mouse then the dog is red. If someone is red and they see the mouse then they need the dog.
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The dog does not see the mouse.
("dog" "sees" "mouse" "-")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is not nice.
("mouse" "is" "nice" "-")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
If someone chases the mouse and they need the mouse then they chase the dog.
((("someone" "chases" "mouse" "+") ("someone" "needs" "mouse" "+")) -> ("someone" "chases" "dog" "+"))
If someone is rough and they do not chase the mouse then the mouse needs the dog.
((("someone" "is" "rough" "+") ("someone" "chases" "mouse" "~")) -> ("mouse" "needs" "dog" "+"))
If someone is nice and they see the dog then they are big.
((("someone" "is" "nice" "+") ("someone" "sees" "dog" "+")) -> ("someone" "is" "big" "+"))
If someone chases the dog then they are big.
((("someone" "chases" "dog" "+")) -> ("someone" "is" "big" "+"))
If someone chases the dog and they do not see the mouse then the dog is green.
((("someone" "chases" "dog" "+") ("someone" "sees" "mouse" "~")) -> ("dog" "is" "green" "+"))
If someone sees the mouse and the mouse sees the dog then the mouse is not rough.
((("someone" "sees" "mouse" "+") ("mouse" "sees" "dog" "+")) -> ("mouse" "is" "rough" "-"))
If the dog is rough and the dog needs the mouse then the dog is red.
((("dog" "is" "rough" "+") ("dog" "needs" "mouse" "+")) -> ("dog" "is" "red" "+"))
If someone is red and they see the mouse then they need the dog.
((("someone" "is" "red" "+") ("someone" "sees" "mouse" "+")) -> ("someone" "needs" "dog" "+"))
The dog is big.
True
1
proof
[(triple2 OR ((((triple1 triple7) -> rule1)) -> rule4))]
("dog" "is" "big" "+")
triple2
((((triple1 triple7) -> (rule1 % int2))) -> (rule4 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The mouse does not see the dog.
False
1
inv-proof
[(triple16)]
("mouse" "sees" "dog" "-")
triple16
The dog chases the dog.
True
3
proof
[(((triple1 triple7) -> rule1))]
("dog" "chases" "dog" "+")
((triple1 triple7) -> (rule1 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog does not chase the dog.
False
3
inv-proof
[(((triple1 triple7) -> rule1))]
("dog" "chases" "dog" "-")
((triple1 triple7) -> (rule1 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog does not need the dog.
Unknown
inv-rconc
[@1: The dog needs the dog.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "needs" "dog" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
The mouse does not need the mouse.
Unknown
inv-random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
@0: The dog chases the mouse.[(triple1)] The dog does not see the mouse.[(triple8)] The dog is big.[(triple2 OR ((((triple1 triple7) -> rule1)) -> rule4))] The dog is green.[(triple3 OR ((((triple1 triple7) -> rule1) triple8) -> rule5))] The dog is nice.[(triple4)] The dog is red.[(triple5 OR ((triple6 triple7) -> rule7))] The dog is rough.[(triple6)] The dog needs the mouse.[(triple7)] The mouse chases the dog.[(triple9)] The mouse is big.[(triple10 OR ((triple9) -> rule4))] The mouse is green.[(triple11)] The mouse is not nice.[(triple12)] The mouse is red.[(triple13)] The mouse is rough.[(triple14)] The mouse needs the dog.[(triple15)] The mouse sees the dog.[(triple16)] @1: The dog chases the dog.[(((triple1 triple7) -> rule1))]
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple1
The dog does not see the mouse.
("dog" "sees" "mouse" "-")
triple8
The dog is big.
("dog" "is" "big" "+")
triple2
((((triple1 triple7) -> (rule1 % int2))) -> (rule4 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog is green.
("dog" "is" "green" "+")
triple3
((((triple1 triple7) -> (rule1 % int2)) triple8) -> (rule5 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
triple4
The dog is red.
("dog" "is" "red" "+")
triple5
((triple6 triple7) -> (rule7 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
triple6
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple7
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple9
The mouse is big.
("mouse" "is" "big" "+")
triple10
((triple9) -> (rule4 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
triple11
The mouse is not nice.
("mouse" "is" "nice" "-")
triple12
The mouse is red.
("mouse" "is" "red" "+")
triple13
The mouse is rough.
("mouse" "is" "rough" "+")
triple14
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple15
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple16
The dog chases the dog.
("dog" "chases" "dog" "+")
((triple1 triple7) -> (rule1 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1