The bald eagle chases the cat. The bald eagle does not chase the tiger. The bald eagle eats the rabbit. The bald eagle is big. The bald eagle is blue. The bald eagle is nice. The bald eagle sees the tiger. The cat chases the bald eagle. The cat is round. The rabbit chases the cat. The rabbit is round. The rabbit does not see the cat. The rabbit does not see the tiger. The tiger eats the bald eagle. The tiger sees the bald eagle. The tiger sees the cat. If someone eats the rabbit then they do not chase the bald eagle.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle does not chase the tiger.
("bald eagle" "chases" "tiger" "-")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is round.
("cat" "is" "round" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit does not see the cat.
("rabbit" "sees" "cat" "-")
The rabbit does not see the tiger.
("rabbit" "sees" "tiger" "-")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger sees the cat.
("tiger" "sees" "cat" "+")
If someone eats the rabbit then they do not chase the bald eagle.
((("someone" "eats" "rabbit" "+")) -> ("someone" "chases" "bald eagle" "-"))
The bald eagle is big.
True
1
proof
[(triple4)]
("bald eagle" "is" "big" "+")
triple4
The bald eagle is not big.
False
1
inv-proof
[(triple4)]
("bald eagle" "is" "big" "-")
triple4
The bald eagle does not chase the bald eagle.
True
2
proof
[(((triple3) -> rule1))]
("bald eagle" "chases" "bald eagle" "-")
((triple3) -> (rule1 % int1))
The bald eagle does not chase the bald eagle.
("bald eagle" "chases" "bald eagle" "-")
int1
The bald eagle chases the bald eagle.
False
2
inv-proof
[(((triple3) -> rule1))]
("bald eagle" "chases" "bald eagle" "+")
((triple3) -> (rule1 % int1))
The bald eagle does not chase the bald eagle.
("bald eagle" "chases" "bald eagle" "-")
int1
The tiger is not nice.
Unknown
inv-random
[@0: The tiger is nice.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "nice" "-")
The bald eagle eats the cat.
Unknown
random
[@0: The bald eagle eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cat" "+")
The bald eagle does not eat the tiger.
Unknown
inv-random
[@0: The bald eagle eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "tiger" "-")
The cat chases the tiger.
Unknown
random
[@0: The cat chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "tiger" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle does not chase the tiger.[(triple2)] The bald eagle eats the rabbit.[(triple3)] The bald eagle is big.[(triple4)] The bald eagle is blue.[(triple5)] The bald eagle is nice.[(triple6)] The bald eagle sees the tiger.[(triple7)] The cat chases the bald eagle.[(triple8)] The cat is round.[(triple9)] The rabbit chases the cat.[(triple10)] The rabbit does not see the cat.[(triple12)] The rabbit does not see the tiger.[(triple13)] The rabbit is round.[(triple11)] The tiger eats the bald eagle.[(triple14)] The tiger sees the bald eagle.[(triple15)] The tiger sees the cat.[(triple16)] @1: The bald eagle does not chase the bald eagle.[(((triple3) -> rule1))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle does not chase the tiger.
("bald eagle" "chases" "tiger" "-")
triple2
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple3
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple4
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple5
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple6
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple7
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple8
The cat is round.
("cat" "is" "round" "+")
triple9
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple10
The rabbit does not see the cat.
("rabbit" "sees" "cat" "-")
triple12
The rabbit does not see the tiger.
("rabbit" "sees" "tiger" "-")
triple13
The rabbit is round.
("rabbit" "is" "round" "+")
triple11
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple14
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple15
The tiger sees the cat.
("tiger" "sees" "cat" "+")
triple16
The bald eagle does not chase the bald eagle.
("bald eagle" "chases" "bald eagle" "-")
((triple3) -> (rule1 % int1))
The bald eagle does not chase the bald eagle.
("bald eagle" "chases" "bald eagle" "-")
int1