The bear is rough. The bear is young. The bear likes the dog. The bear likes the tiger. The bear needs the tiger. The bear visits the dog. The bear visits the mouse. The dog is big. The dog likes the mouse. The mouse likes the dog. The mouse needs the bear. The tiger is rough. The tiger needs the dog. The tiger visits the mouse. If someone needs the bear and the bear likes the tiger then they are nice. If someone is big then they need the bear. If someone needs the mouse then the mouse needs the tiger. If someone needs the dog and the dog visits the bear then the bear is big. If someone visits the bear and the bear needs the dog then the dog likes the tiger. If the tiger needs the bear and the bear is cold then the bear is young. If someone is nice then they visit the bear.
The bear is rough.
("bear" "is" "rough" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The dog is big.
("dog" "is" "big" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
If someone needs the bear and the bear likes the tiger then they are nice.
((("someone" "needs" "bear" "+") ("bear" "likes" "tiger" "+")) -> ("someone" "is" "nice" "+"))
If someone is big then they need the bear.
((("someone" "is" "big" "+")) -> ("someone" "needs" "bear" "+"))
If someone needs the mouse then the mouse needs the tiger.
((("someone" "needs" "mouse" "+")) -> ("mouse" "needs" "tiger" "+"))
If someone needs the dog and the dog visits the bear then the bear is big.
((("someone" "needs" "dog" "+") ("dog" "visits" "bear" "+")) -> ("bear" "is" "big" "+"))
If someone visits the bear and the bear needs the dog then the dog likes the tiger.
((("someone" "visits" "bear" "+") ("bear" "needs" "dog" "+")) -> ("dog" "likes" "tiger" "+"))
If the tiger needs the bear and the bear is cold then the bear is young.
((("tiger" "needs" "bear" "+") ("bear" "is" "cold" "+")) -> ("bear" "is" "young" "+"))
If someone is nice then they visit the bear.
((("someone" "is" "nice" "+")) -> ("someone" "visits" "bear" "+"))
The dog is big.
True
1
proof
[(triple8)]
("dog" "is" "big" "+")
triple8
The dog is not big.
False
1
inv-proof
[(triple8)]
("dog" "is" "big" "-")
triple8
The dog needs the bear.
True
2
proof
[(((triple8) -> rule2))]
("dog" "needs" "bear" "+")
((triple8) -> (rule2 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The dog does not need the bear.
False
2
inv-proof
[(((triple8) -> rule2))]
("dog" "needs" "bear" "-")
((triple8) -> (rule2 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The mouse visits the bear.
True
4
proof
[(((((triple11 triple4) -> rule1)) -> rule7))]
("mouse" "visits" "bear" "+")
((((triple11 triple4) -> (rule1 % int2))) -> (rule7 % int1))
The mouse visits the bear.
("mouse" "visits" "bear" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
int2
The dog is not nice.
False
4
inv-proof
[(((((triple8) -> rule2) triple4) -> rule1))]
("dog" "is" "nice" "-")
((((triple8) -> (rule2 % int2)) triple4) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog needs the bear.
("dog" "needs" "bear" "+")
int2
The dog visits the bear.
True
5
proof
[(((((((triple8) -> rule2) triple4) -> rule1)) -> rule7))]
("dog" "visits" "bear" "+")
((((((triple8) -> (rule2 % int3)) triple4) -> (rule1 % int2))) -> (rule7 % int1))
The dog visits the bear.
("dog" "visits" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The dog needs the bear.
("dog" "needs" "bear" "+")
int3
The dog does not visit the bear.
False
5
inv-proof
[(((((((triple8) -> rule2) triple4) -> rule1)) -> rule7))]
("dog" "visits" "bear" "-")
((((((triple8) -> (rule2 % int3)) triple4) -> (rule1 % int2))) -> (rule7 % int1))
The dog visits the bear.
("dog" "visits" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The dog needs the bear.
("dog" "needs" "bear" "+")
int3
The bear is big.
True
7
proof
[(((triple13 ((((((triple8) -> rule2) triple4) -> rule1)) -> rule7)) -> rule4))]
("bear" "is" "big" "+")
((triple13 ((((((triple8) -> (rule2 % int4)) triple4) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The dog visits the bear.
("dog" "visits" "bear" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
int3
The dog needs the bear.
("dog" "needs" "bear" "+")
int4
The bear is not big.
False
7
inv-proof
[(((triple13 ((((((triple8) -> rule2) triple4) -> rule1)) -> rule7)) -> rule4))]
("bear" "is" "big" "-")
((triple13 ((((((triple8) -> (rule2 % int4)) triple4) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The dog visits the bear.
("dog" "visits" "bear" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
int3
The dog needs the bear.
("dog" "needs" "bear" "+")
int4
The bear needs the bear.
True
8
proof
[(((((triple13 ((((((triple8) -> rule2) triple4) -> rule1)) -> rule7)) -> rule4)) -> rule2))]
("bear" "needs" "bear" "+")
((((triple13 ((((((triple8) -> (rule2 % int5)) triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The dog visits the bear.
("dog" "visits" "bear" "+")
int3
The dog is nice.
("dog" "is" "nice" "+")
int4
The dog needs the bear.
("dog" "needs" "bear" "+")
int5
The bear does not need the bear.
False
8
inv-proof
[(((((triple13 ((((((triple8) -> rule2) triple4) -> rule1)) -> rule7)) -> rule4)) -> rule2))]
("bear" "needs" "bear" "-")
((((triple13 ((((((triple8) -> (rule2 % int5)) triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The dog visits the bear.
("dog" "visits" "bear" "+")
int3
The dog is nice.
("dog" "is" "nice" "+")
int4
The dog needs the bear.
("dog" "needs" "bear" "+")
int5
The dog does not like the tiger.
Unknown
inv-rconc
[@1: The dog likes the tiger.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "likes" "tiger" "-")
The tiger visits the bear.
Unknown
rconc
[@3: The tiger visits the bear.[CWA. Example of deepest failure = (rule7 <- rule1 <- rule2 <- FAIL)]]
("tiger" "visits" "bear" "+")
The mouse does not need the tiger.
Unknown
inv-rconc
[@1: The mouse needs the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "needs" "tiger" "-")
The tiger needs the bear.
Unknown
rconc
[@1: The tiger needs the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "needs" "bear" "+")
The tiger is not nice.
Unknown
inv-rconc
[@2: The tiger is nice.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("tiger" "is" "nice" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
The tiger does not visit the tiger.
Unknown
inv-random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "-")
The dog needs the mouse.
Unknown
random
[@0: The dog needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "mouse" "+")
The bear does not need the dog.
Unknown
inv-random
[@0: The bear needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "dog" "-")
The tiger is young.
Unknown
random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "+")
The dog does not like the bear.
Unknown
inv-random
[@0: The dog likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "bear" "-")
The bear visits the tiger.
Unknown
random
[@0: The bear visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "tiger" "+")
@0: The bear is rough.[(triple1)] The bear is young.[(triple2)] The bear likes the dog.[(triple3)] The bear likes the tiger.[(triple4)] The bear needs the tiger.[(triple5)] The bear visits the dog.[(triple6)] The bear visits the mouse.[(triple7)] The dog is big.[(triple8)] The dog likes the mouse.[(triple9)] The mouse likes the dog.[(triple10)] The mouse needs the bear.[(triple11)] The tiger is rough.[(triple12)] The tiger needs the dog.[(triple13)] The tiger visits the mouse.[(triple14)] @1: The dog needs the bear.[(((triple8) -> rule2))] The mouse is nice.[(((triple11 triple4) -> rule1))] @2: The dog is nice.[(((((triple8) -> rule2) triple4) -> rule1))] The mouse visits the bear.[(((((triple11 triple4) -> rule1)) -> rule7))] @3: The dog visits the bear.[(((((((triple8) -> rule2) triple4) -> rule1)) -> rule7))] @4: The bear is big.[(((triple13 ((((((triple8) -> rule2) triple4) -> rule1)) -> rule7)) -> rule4))] @5: The bear needs the bear.[(((((triple13 ((((((triple8) -> rule2) triple4) -> rule1)) -> rule7)) -> rule4)) -> rule2))] @6: The bear is nice.[(((((((triple13 ((((((triple8) -> rule2) triple4) -> rule1)) -> rule7)) -> rule4)) -> rule2) triple4) -> rule1))] @7: The bear visits the bear.[(((((((((triple13 ((((((triple8) -> rule2) triple4) -> rule1)) -> rule7)) -> rule4)) -> rule2) triple4) -> rule1)) -> rule7))]
The bear is rough.
("bear" "is" "rough" "+")
triple1
The bear is young.
("bear" "is" "young" "+")
triple2
The bear likes the dog.
("bear" "likes" "dog" "+")
triple3
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple4
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple5
The bear visits the dog.
("bear" "visits" "dog" "+")
triple6
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple7
The dog is big.
("dog" "is" "big" "+")
triple8
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple9
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple10
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple11
The tiger is rough.
("tiger" "is" "rough" "+")
triple12
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple13
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
triple14
The dog needs the bear.
("dog" "needs" "bear" "+")
((triple8) -> (rule2 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
((triple11 triple4) -> (rule1 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
((((triple8) -> (rule2 % int2)) triple4) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog needs the bear.
("dog" "needs" "bear" "+")
int2
The mouse visits the bear.
("mouse" "visits" "bear" "+")
((((triple11 triple4) -> (rule1 % int2))) -> (rule7 % int1))
The mouse visits the bear.
("mouse" "visits" "bear" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
int2
The dog visits the bear.
("dog" "visits" "bear" "+")
((((((triple8) -> (rule2 % int3)) triple4) -> (rule1 % int2))) -> (rule7 % int1))
The dog visits the bear.
("dog" "visits" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The dog needs the bear.
("dog" "needs" "bear" "+")
int3
The bear is big.
("bear" "is" "big" "+")
((triple13 ((((((triple8) -> (rule2 % int4)) triple4) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The dog visits the bear.
("dog" "visits" "bear" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
int3
The dog needs the bear.
("dog" "needs" "bear" "+")
int4
The bear needs the bear.
("bear" "needs" "bear" "+")
((((triple13 ((((((triple8) -> (rule2 % int5)) triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The dog visits the bear.
("dog" "visits" "bear" "+")
int3
The dog is nice.
("dog" "is" "nice" "+")
int4
The dog needs the bear.
("dog" "needs" "bear" "+")
int5
The bear is nice.
("bear" "is" "nice" "+")
((((((triple13 ((((((triple8) -> (rule2 % int6)) triple4) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple4) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The bear is big.
("bear" "is" "big" "+")
int3
The dog visits the bear.
("dog" "visits" "bear" "+")
int4
The dog is nice.
("dog" "is" "nice" "+")
int5
The dog needs the bear.
("dog" "needs" "bear" "+")
int6
The bear visits the bear.
("bear" "visits" "bear" "+")
((((((((triple13 ((((((triple8) -> (rule2 % int7)) triple4) -> (rule1 % int6))) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) triple4) -> (rule1 % int2))) -> (rule7 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear needs the bear.
("bear" "needs" "bear" "+")
int3
The bear is big.
("bear" "is" "big" "+")
int4
The dog visits the bear.
("dog" "visits" "bear" "+")
int5
The dog is nice.
("dog" "is" "nice" "+")
int6
The dog needs the bear.
("dog" "needs" "bear" "+")
int7