The dog eats the mouse. The dog is cold. The mouse eats the dog. The mouse is big. The mouse is cold. The mouse is nice. The mouse is rough. The mouse is round. The mouse likes the dog. The mouse sees the dog. If someone eats the mouse and they see the mouse then they see the dog. Round people are cold. If someone is round and they eat the dog then they see the mouse. If someone eats the mouse and they are nice then the mouse eats the dog. If the mouse is round and the mouse likes the dog then the dog is rough. If someone sees the mouse then they like the mouse.
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog is cold.
("dog" "is" "cold" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
If someone eats the mouse and they see the mouse then they see the dog.
((("someone" "eats" "mouse" "+") ("someone" "sees" "mouse" "+")) -> ("someone" "sees" "dog" "+"))
Round people are cold.
((("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and they eat the dog then they see the mouse.
((("someone" "is" "round" "+") ("someone" "eats" "dog" "+")) -> ("someone" "sees" "mouse" "+"))
If someone eats the mouse and they are nice then the mouse eats the dog.
((("someone" "eats" "mouse" "+") ("someone" "is" "nice" "+")) -> ("mouse" "eats" "dog" "+"))
If the mouse is round and the mouse likes the dog then the dog is rough.
((("mouse" "is" "round" "+") ("mouse" "likes" "dog" "+")) -> ("dog" "is" "rough" "+"))
If someone sees the mouse then they like the mouse.
((("someone" "sees" "mouse" "+")) -> ("someone" "likes" "mouse" "+"))
The mouse is big.
True
1
proof
[(triple4)]
("mouse" "is" "big" "+")
triple4
The mouse is not cold.
False
1
inv-proof
[(triple5 OR ((triple8) -> rule2))]
("mouse" "is" "cold" "-")
triple5
((triple8) -> (rule2 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The dog is rough.
True
3
proof
[(((triple8 triple9) -> rule5))]
("dog" "is" "rough" "+")
((triple8 triple9) -> (rule5 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The mouse does not see the mouse.
False
3
inv-proof
[(((triple8 triple3) -> rule3))]
("mouse" "sees" "mouse" "-")
((triple8 triple3) -> (rule3 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The dog does not see the mouse.
Unknown
inv-rconc
[@1: The dog sees the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "sees" "mouse" "-")
The dog likes the mouse.
Unknown
rconc
[@2: The dog likes the mouse.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("dog" "likes" "mouse" "+")
The dog is not big.
Unknown
inv-random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "-")
The dog is nice.
Unknown
random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "+")
@0: The dog eats the mouse.[(triple1)] The dog is cold.[(triple2)] The mouse eats the dog.[(triple3)] The mouse is big.[(triple4)] The mouse is cold.[(triple5 OR ((triple8) -> rule2))] The mouse is nice.[(triple6)] The mouse is rough.[(triple7)] The mouse is round.[(triple8)] The mouse likes the dog.[(triple9)] The mouse sees the dog.[(triple10)] @1: The dog is rough.[(((triple8 triple9) -> rule5))] The mouse sees the mouse.[(((triple8 triple3) -> rule3))] @2: The mouse likes the mouse.[(((((triple8 triple3) -> rule3)) -> rule6))]
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple1
The dog is cold.
("dog" "is" "cold" "+")
triple2
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple3
The mouse is big.
("mouse" "is" "big" "+")
triple4
The mouse is cold.
("mouse" "is" "cold" "+")
triple5
((triple8) -> (rule2 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
triple6
The mouse is rough.
("mouse" "is" "rough" "+")
triple7
The mouse is round.
("mouse" "is" "round" "+")
triple8
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple9
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple10
The dog is rough.
("dog" "is" "rough" "+")
((triple8 triple9) -> (rule5 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
((triple8 triple3) -> (rule3 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
((((triple8 triple3) -> (rule3 % int2))) -> (rule6 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int2