The bear is big. The bear is kind. The bear is rough. The dog eats the mouse. The dog is big. The dog is kind. The dog is nice. The dog likes the bear. The dog likes the mouse. The dog needs the bear. The dog needs the mouse. The mouse eats the bear. The mouse is big. The mouse is nice. The mouse likes the dog. If the mouse is big and the mouse needs the dog then the mouse is kind. If something likes the dog then the dog likes the mouse. If something needs the mouse and it is red then it eats the bear. If the bear needs the mouse then the mouse is rough. If the dog needs the bear then the dog likes the bear. If something eats the mouse then it is red. If something is rough and big then it needs the mouse. If something likes the dog and it needs the bear then it needs the dog.
The bear is big.
("bear" "is" "big" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is rough.
("bear" "is" "rough" "+")
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
If the mouse is big and the mouse needs the dog then the mouse is kind.
((("mouse" "is" "big" "+") ("mouse" "needs" "dog" "+")) -> ("mouse" "is" "kind" "+"))
If something likes the dog then the dog likes the mouse.
((("something" "likes" "dog" "+")) -> ("dog" "likes" "mouse" "+"))
If something needs the mouse and it is red then it eats the bear.
((("something" "needs" "mouse" "+") ("something" "is" "red" "+")) -> ("something" "eats" "bear" "+"))
If the bear needs the mouse then the mouse is rough.
((("bear" "needs" "mouse" "+")) -> ("mouse" "is" "rough" "+"))
If the dog needs the bear then the dog likes the bear.
((("dog" "needs" "bear" "+")) -> ("dog" "likes" "bear" "+"))
If something eats the mouse then it is red.
((("something" "eats" "mouse" "+")) -> ("something" "is" "red" "+"))
If something is rough and big then it needs the mouse.
((("something" "is" "rough" "+") ("something" "is" "big" "+")) -> ("something" "needs" "mouse" "+"))
If something likes the dog and it needs the bear then it needs the dog.
((("something" "likes" "dog" "+") ("something" "needs" "bear" "+")) -> ("something" "needs" "dog" "+"))
The dog needs the bear.
True
1
proof
[(triple10)]
("dog" "needs" "bear" "+")
triple10
The dog is not nice.
False
1
inv-proof
[(triple7)]
("dog" "is" "nice" "-")
triple7
The bear needs the mouse.
True
3
proof
[(((triple3 triple1) -> rule7))]
("bear" "needs" "mouse" "+")
((triple3 triple1) -> (rule7 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The dog is not red.
False
2
inv-proof
[(((triple4) -> rule6))]
("dog" "is" "red" "-")
((triple4) -> (rule6 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog eats the bear.
True
4
proof
[(((triple11 ((triple4) -> rule6)) -> rule3))]
("dog" "eats" "bear" "+")
((triple11 ((triple4) -> (rule6 % int2))) -> (rule3 % int1))
The dog eats the bear.
("dog" "eats" "bear" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog does not eat the bear.
False
4
inv-proof
[(((triple11 ((triple4) -> rule6)) -> rule3))]
("dog" "eats" "bear" "-")
((triple11 ((triple4) -> (rule6 % int2))) -> (rule3 % int1))
The dog eats the bear.
("dog" "eats" "bear" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The mouse needs the mouse.
True
6
proof
[(((((((triple3 triple1) -> rule7)) -> rule4) triple13) -> rule7))]
("mouse" "needs" "mouse" "+")
((((((triple3 triple1) -> (rule7 % int3))) -> (rule4 % int2)) triple13) -> (rule7 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int3
The mouse does not need the mouse.
False
6
inv-proof
[(((((((triple3 triple1) -> rule7)) -> rule4) triple13) -> rule7))]
("mouse" "needs" "mouse" "-")
((((((triple3 triple1) -> (rule7 % int3))) -> (rule4 % int2)) triple13) -> (rule7 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int3
The bear does not need the dog.
Unknown
inv-rconc
[@1: The bear needs the dog.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bear" "needs" "dog" "-")
The mouse is kind.
Unknown
rconc
[@2: The mouse is kind.[CWA. Example of deepest failure = (rule1 <- rule8 <- FAIL)]]
("mouse" "is" "kind" "+")
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 needs the dog.
Unknown
rconc
[@1: The mouse needs the dog.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("mouse" "needs" "dog" "+")
The bear does not eat the dog.
Unknown
inv-random
[@0: The bear eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "dog" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
The bear does not like the dog.
Unknown
inv-random
[@0: The bear likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "dog" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bear is big.[(triple1)] The bear is kind.[(triple2)] The bear is rough.[(triple3)] The dog eats the mouse.[(triple4)] The dog is big.[(triple5)] The dog is kind.[(triple6)] The dog is nice.[(triple7)] The dog likes the bear.[(triple8 OR ((triple10) -> rule5))] The dog likes the mouse.[(triple9 OR ((triple15) -> rule2))] The dog needs the bear.[(triple10)] The dog needs the mouse.[(triple11)] The mouse eats the bear.[(triple12)] The mouse is big.[(triple13)] The mouse is nice.[(triple14)] The mouse likes the dog.[(triple15)] @1: The bear needs the mouse.[(((triple3 triple1) -> rule7))] The dog is red.[(((triple4) -> rule6))] @2: The dog eats the bear.[(((triple11 ((triple4) -> rule6)) -> rule3))] The mouse is rough.[(((((triple3 triple1) -> rule7)) -> rule4))] @3: The mouse needs the mouse.[(((((((triple3 triple1) -> rule7)) -> rule4) triple13) -> rule7))]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple3
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple4
The dog is big.
("dog" "is" "big" "+")
triple5
The dog is kind.
("dog" "is" "kind" "+")
triple6
The dog is nice.
("dog" "is" "nice" "+")
triple7
The dog likes the bear.
("dog" "likes" "bear" "+")
triple8
((triple10) -> (rule5 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple9
((triple15) -> (rule2 % int1))
The dog likes the mouse.
("dog" "likes" "mouse" "+")
int1
The dog needs the bear.
("dog" "needs" "bear" "+")
triple10
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple11
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple12
The mouse is big.
("mouse" "is" "big" "+")
triple13
The mouse is nice.
("mouse" "is" "nice" "+")
triple14
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple15
The bear needs the mouse.
("bear" "needs" "mouse" "+")
((triple3 triple1) -> (rule7 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The dog is red.
("dog" "is" "red" "+")
((triple4) -> (rule6 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog eats the bear.
("dog" "eats" "bear" "+")
((triple11 ((triple4) -> (rule6 % int2))) -> (rule3 % int1))
The dog eats the bear.
("dog" "eats" "bear" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
((((triple3 triple1) -> (rule7 % int2))) -> (rule4 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int2
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
((((((triple3 triple1) -> (rule7 % int3))) -> (rule4 % int2)) triple13) -> (rule7 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int3