The bald eagle eats the cat. The cat chases the tiger. The lion needs the tiger. The tiger eats the bald eagle. The tiger eats the cat. The tiger is green. The tiger is rough. If someone chases the tiger then they are green.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
If someone chases the tiger then they are green.
((("someone" "chases" "tiger" "+")) -> ("someone" "is" "green" "+"))
The cat chases the tiger.
True
1
proof
[(triple2)]
("cat" "chases" "tiger" "+")
triple2
The tiger is not green.
False
1
inv-proof
[(triple6)]
("tiger" "is" "green" "-")
triple6
The bald eagle is not green.
Unknown
inv-rconc
[@1: The bald eagle is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "green" "-")
The tiger eats the lion.
Unknown
random
[@0: The tiger eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "lion" "+")
@0: The bald eagle eats the cat.[(triple1)] The cat chases the tiger.[(triple2)] The lion needs the tiger.[(triple3)] The tiger eats the bald eagle.[(triple4)] The tiger eats the cat.[(triple5)] The tiger is green.[(triple6)] The tiger is rough.[(triple7)] @1: The cat is green.[(((triple2) -> rule1))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple2
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple3
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple4
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple5
The tiger is green.
("tiger" "is" "green" "+")
triple6
The tiger is rough.
("tiger" "is" "rough" "+")
triple7
The cat is green.
("cat" "is" "green" "+")
((triple2) -> (rule1 % int1))
The cat is green.
("cat" "is" "green" "+")
int1