The bear chases the tiger. The rabbit is big. The tiger chases the bear. If something chases the bear then the bear does not need the tiger.
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
If something chases the bear then the bear does not need the tiger.
((("something" "chases" "bear" "+")) -> ("bear" "needs" "tiger" "-"))
The rabbit is big.
True
1
proof
[(triple2)]
("rabbit" "is" "big" "+")
triple2
The tiger does not chase the bear.
False
1
inv-proof
[(triple3)]
("tiger" "chases" "bear" "-")
triple3
The bear does not need the tiger.
True
2
proof
[(((triple3) -> rule1))]
("bear" "needs" "tiger" "-")
((triple3) -> (rule1 % int1))
The bear does not need the tiger.
("bear" "needs" "tiger" "-")
int1
The bear needs the tiger.
False
2
inv-proof
[(((triple3) -> rule1))]
("bear" "needs" "tiger" "+")
((triple3) -> (rule1 % int1))
The bear does not need the tiger.
("bear" "needs" "tiger" "-")
int1
The tiger is not nice.
Unknown
inv-random
[@0: The tiger is nice.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "nice" "-")
The tiger is cold.
Unknown
random
[@0: The tiger is cold.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "cold" "+")
The tiger is not big.
Unknown
inv-random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "-")
The rabbit needs the tiger.
Unknown
random
[@0: The rabbit needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "tiger" "+")
@0: The bear chases the tiger.[(triple1)] The rabbit is big.[(triple2)] The tiger chases the bear.[(triple3)] @1: The bear does not need the tiger.[(((triple3) -> rule1))]
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple1
The rabbit is big.
("rabbit" "is" "big" "+")
triple2
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple3
The bear does not need the tiger.
("bear" "needs" "tiger" "-")
((triple3) -> (rule1 % int1))
The bear does not need the tiger.
("bear" "needs" "tiger" "-")
int1