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