The bear eats the tiger. The bear is big. The bear is cold. The bear is round. The bear needs the tiger. The bear visits the tiger. The tiger is big. The tiger is cold. The tiger needs the bear. The tiger visits the bear. If something visits the bear and the bear needs the tiger then it eats the bear. If something visits the tiger and the tiger visits the bear then it needs the bear. If something visits the tiger then it visits the bear. If something eats the bear then it needs the tiger. If something eats the bear and it visits the bear then it is nice. If something visits the bear then the bear is green.
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is round.
("bear" "is" "round" "+")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If something visits the bear and the bear needs the tiger then it eats the bear.
((("something" "visits" "bear" "+") ("bear" "needs" "tiger" "+")) -> ("something" "eats" "bear" "+"))
If something visits the tiger and the tiger visits the bear then it needs the bear.
((("something" "visits" "tiger" "+") ("tiger" "visits" "bear" "+")) -> ("something" "needs" "bear" "+"))
If something visits the tiger then it visits the bear.
((("something" "visits" "tiger" "+")) -> ("something" "visits" "bear" "+"))
If something eats the bear then it needs the tiger.
((("something" "eats" "bear" "+")) -> ("something" "needs" "tiger" "+"))
If something eats the bear and it visits the bear then it is nice.
((("something" "eats" "bear" "+") ("something" "visits" "bear" "+")) -> ("something" "is" "nice" "+"))
If something visits the bear then the bear is green.
((("something" "visits" "bear" "+")) -> ("bear" "is" "green" "+"))
The bear visits the tiger.
True
1
proof
[(triple6)]
("bear" "visits" "tiger" "+")
triple6
The bear does not need the tiger.
False
1
inv-proof
[(triple5)]
("bear" "needs" "tiger" "-")
triple5
The bear is green.
True
2
proof
[(((triple10) -> rule6) OR ((((triple6) -> rule3)) -> rule6))]
("bear" "is" "green" "+")
((triple10) -> (rule6 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
((((triple6) -> (rule3 % int2))) -> (rule6 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
int2
The tiger does not eat the bear.
False
3
inv-proof
[(((triple10 triple5) -> rule1))]
("tiger" "eats" "bear" "-")
((triple10 triple5) -> (rule1 % int1))
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int1
The tiger needs the tiger.
True
4
proof
[(((((triple10 triple5) -> rule1)) -> rule4))]
("tiger" "needs" "tiger" "+")
((((triple10 triple5) -> (rule1 % int2))) -> (rule4 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int2
The tiger does not need the tiger.
False
4
inv-proof
[(((((triple10 triple5) -> rule1)) -> rule4))]
("tiger" "needs" "tiger" "-")
((((triple10 triple5) -> (rule1 % int2))) -> (rule4 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int2
The bear is nice.
True
7
proof
[(((((((triple6) -> rule3) triple5) -> rule1) ((triple6) -> rule3)) -> rule5))]
("bear" "is" "nice" "+")
((((((triple6) -> (rule3 % int3)) triple5) -> (rule1 % int2)) ((triple6) -> (rule3 % int3))) -> (rule5 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear visits the bear.
("bear" "visits" "bear" "+")
int3
The bear is not nice.
False
7
inv-proof
[(((((((triple6) -> rule3) triple5) -> rule1) ((triple6) -> rule3)) -> rule5))]
("bear" "is" "nice" "-")
((((((triple6) -> (rule3 % int3)) triple5) -> (rule1 % int2)) ((triple6) -> (rule3 % int3))) -> (rule5 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear visits the bear.
("bear" "visits" "bear" "+")
int3
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 tiger is round.
Unknown
random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "+")
The tiger is not green.
Unknown
inv-random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "-")
The tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
@0: The bear eats the tiger.[(triple1)] The bear is big.[(triple2)] The bear is cold.[(triple3)] The bear is round.[(triple4)] The bear needs the tiger.[(triple5)] The bear visits the tiger.[(triple6)] The tiger is big.[(triple7)] The tiger is cold.[(triple8)] The tiger needs the bear.[(triple9)] The tiger visits the bear.[(triple10)] @1: The bear is green.[(((triple10) -> rule6) OR ((((triple6) -> rule3)) -> rule6))] The bear needs the bear.[(((triple6 triple10) -> rule2))] The bear visits the bear.[(((triple6) -> rule3))] The tiger eats the bear.[(((triple10 triple5) -> rule1))] @2: The bear eats the bear.[(((((triple6) -> rule3) triple5) -> rule1))] The tiger is nice.[(((((triple10 triple5) -> rule1) triple10) -> rule5))] The tiger needs the tiger.[(((((triple10 triple5) -> rule1)) -> rule4))] @3: The bear is nice.[(((((((triple6) -> rule3) triple5) -> rule1) ((triple6) -> rule3)) -> rule5))]
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is cold.
("bear" "is" "cold" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple5
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple6
The tiger is big.
("tiger" "is" "big" "+")
triple7
The tiger is cold.
("tiger" "is" "cold" "+")
triple8
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple9
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple10
The bear is green.
("bear" "is" "green" "+")
((triple10) -> (rule6 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
((((triple6) -> (rule3 % int2))) -> (rule6 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
int2
The bear needs the bear.
("bear" "needs" "bear" "+")
((triple6 triple10) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
((triple6) -> (rule3 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The tiger eats the bear.
("tiger" "eats" "bear" "+")
((triple10 triple5) -> (rule1 % int1))
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
((((triple6) -> (rule3 % int2)) triple5) -> (rule1 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
((((triple10 triple5) -> (rule1 % int2)) triple10) -> (rule5 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int2
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
((((triple10 triple5) -> (rule1 % int2))) -> (rule4 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
((((((triple6) -> (rule3 % int3)) triple5) -> (rule1 % int2)) ((triple6) -> (rule3 % int3))) -> (rule5 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear visits the bear.
("bear" "visits" "bear" "+")
int3