The bald eagle does not see the lion. The dog chases the tiger. The lion eats the tiger. The tiger is nice. If someone chases the tiger then the tiger does not chase the bald eagle.
The bald eagle does not see the lion.
("bald eagle" "sees" "lion" "-")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
If someone chases the tiger then the tiger does not chase the bald eagle.
((("someone" "chases" "tiger" "+")) -> ("tiger" "chases" "bald eagle" "-"))
The lion eats the tiger.
True
1
proof
[(triple3)]
("lion" "eats" "tiger" "+")
triple3
The dog does not chase the tiger.
False
1
inv-proof
[(triple2)]
("dog" "chases" "tiger" "-")
triple2
The tiger does not see the bald eagle.
Unknown
inv-random
[@0: The tiger sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "bald eagle" "-")
The dog sees the bald eagle.
Unknown
random
[@0: The dog sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "bald eagle" "+")
@0: The bald eagle does not see the lion.[(triple1)] The dog chases the tiger.[(triple2)] The lion eats the tiger.[(triple3)] The tiger is nice.[(triple4)] @1: The tiger does not chase the bald eagle.[(((triple2) -> rule1))]
The bald eagle does not see the lion.
("bald eagle" "sees" "lion" "-")
triple1
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple2
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple3
The tiger is nice.
("tiger" "is" "nice" "+")
triple4
The tiger does not chase the bald eagle.
("tiger" "chases" "bald eagle" "-")
((triple2) -> (rule1 % int1))
The tiger does not chase the bald eagle.
("tiger" "chases" "bald eagle" "-")
int1