The bald eagle chases the tiger. The bald eagle does not eat the cat. The bald eagle does not eat the tiger. The cat chases the bald eagle. The cat eats the tiger. The cat is blue. The cat is green. The cat is not kind. The cat is rough. The tiger chases the bald eagle. The tiger eats the bald eagle. The tiger eats the cat. If someone eats the cat then the cat does not visit the tiger. If someone eats the cat then they are rough. If the cat chases the tiger then the tiger is kind.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle does not eat the cat.
("bald eagle" "eats" "cat" "-")
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is not kind.
("cat" "is" "kind" "-")
The cat is rough.
("cat" "is" "rough" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
If someone eats the cat then the cat does not visit the tiger.
((("someone" "eats" "cat" "+")) -> ("cat" "visits" "tiger" "-"))
If someone eats the cat then they are rough.
((("someone" "eats" "cat" "+")) -> ("someone" "is" "rough" "+"))
If the cat chases the tiger then the tiger is kind.
((("cat" "chases" "tiger" "+")) -> ("tiger" "is" "kind" "+"))
The tiger eats the cat.
True
1
proof
[(triple12)]
("tiger" "eats" "cat" "+")
triple12
The bald eagle eats the cat.
False
1
inv-proof
[(triple2)]
("bald eagle" "eats" "cat" "+")
triple2
The cat does not visit the tiger.
True
2
proof
[(((triple12) -> rule1))]
("cat" "visits" "tiger" "-")
((triple12) -> (rule1 % int1))
The cat does not visit the tiger.
("cat" "visits" "tiger" "-")
int1
The tiger is not rough.
False
2
inv-proof
[(((triple12) -> rule2))]
("tiger" "is" "rough" "-")
((triple12) -> (rule2 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The bald eagle is not rough.
Unknown
inv-rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "rough" "-")
The tiger is kind.
Unknown
rconc
[@1: The tiger is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "is" "kind" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The tiger is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle does not eat the cat.[(triple2)] The bald eagle does not eat the tiger.[(triple3)] The cat chases the bald eagle.[(triple4)] The cat eats the tiger.[(triple5)] The cat is blue.[(triple6)] The cat is green.[(triple7)] The cat is not kind.[(triple8)] The cat is rough.[(triple9)] The tiger chases the bald eagle.[(triple10)] The tiger eats the bald eagle.[(triple11)] The tiger eats the cat.[(triple12)] @1: The cat does not visit the tiger.[(((triple12) -> rule1))] The tiger is rough.[(((triple12) -> rule2))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle does not eat the cat.
("bald eagle" "eats" "cat" "-")
triple2
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
triple3
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple4
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple5
The cat is blue.
("cat" "is" "blue" "+")
triple6
The cat is green.
("cat" "is" "green" "+")
triple7
The cat is not kind.
("cat" "is" "kind" "-")
triple8
The cat is rough.
("cat" "is" "rough" "+")
triple9
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple10
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple11
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple12
The cat does not visit the tiger.
("cat" "visits" "tiger" "-")
((triple12) -> (rule1 % int1))
The cat does not visit the tiger.
("cat" "visits" "tiger" "-")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
((triple12) -> (rule2 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1