The bald eagle eats the cat. The cat sees the tiger. The squirrel chases the bald eagle. The tiger is big. If someone eats the cat then they eat the tiger.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The cat sees the tiger.
("cat" "sees" "tiger" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The tiger is big.
("tiger" "is" "big" "+")
If someone eats the cat then they eat the tiger.
((("someone" "eats" "cat" "+")) -> ("someone" "eats" "tiger" "+"))
The cat sees the tiger.
True
1
proof
[(triple2)]
("cat" "sees" "tiger" "+")
triple2
The bald eagle does not eat the cat.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "cat" "-")
triple1
The tiger does not eat the tiger.
Unknown
inv-rconc
[@1: The tiger eats the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "eats" "tiger" "-")
The squirrel chases the cat.
Unknown
random
[@0: The squirrel chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "cat" "+")
@0: The bald eagle eats the cat.[(triple1)] The cat sees the tiger.[(triple2)] The squirrel chases the bald eagle.[(triple3)] The tiger is big.[(triple4)] @1: The bald eagle eats the tiger.[(((triple1) -> rule1))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The cat sees the tiger.
("cat" "sees" "tiger" "+")
triple2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple3
The tiger is big.
("tiger" "is" "big" "+")
triple4
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
((triple1) -> (rule1 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1