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