The bald eagle eats the tiger. The bald eagle is kind. The bald eagle is rough. The bald eagle is round. The bald eagle likes the tiger. The bald eagle sees the tiger. The tiger eats the bald eagle. The tiger is kind. The tiger is nice. The tiger is round. The tiger likes the bald eagle. The tiger sees the bald eagle. If someone eats the tiger then they like the bald eagle. If someone eats the bald eagle then they are nice. If someone eats the bald eagle and the bald eagle is nice then they are kind. If someone is nice then they like the bald eagle. If someone likes the tiger and the tiger eats the bald eagle then the tiger likes the bald eagle. If someone likes the tiger and the tiger sees the bald eagle then the bald eagle is round.
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If someone eats the tiger then they like the bald eagle.
((("someone" "eats" "tiger" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone eats the bald eagle then they are nice.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "is" "nice" "+"))
If someone eats the bald eagle and the bald eagle is nice then they are kind.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice then they like the bald eagle.
((("someone" "is" "nice" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone likes the tiger and the tiger eats the bald eagle then the tiger likes the bald eagle.
((("someone" "likes" "tiger" "+") ("tiger" "eats" "bald eagle" "+")) -> ("tiger" "likes" "bald eagle" "+"))
If someone likes the tiger and the tiger sees the bald eagle then the bald eagle is round.
((("someone" "likes" "tiger" "+") ("tiger" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "round" "+"))
The bald eagle is kind.
True
1
proof
[(triple2)]
("bald eagle" "is" "kind" "+")
triple2
The bald eagle is not kind.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "kind" "-")
triple2
The bald eagle likes the bald eagle.
True
2
proof
[(((triple1) -> rule1))]
("bald eagle" "likes" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle does not like the bald eagle.
False
2
inv-proof
[(((triple1) -> rule1))]
("bald eagle" "likes" "bald eagle" "-")
((triple1) -> (rule1 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is not nice.
Unknown
inv-rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "nice" "-")
The tiger is red.
Unknown
random
[@0: The tiger is red.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "red" "+")
The tiger does not see the tiger.
Unknown
inv-random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "-")
The tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
@0: The bald eagle eats the tiger.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle is round.[(triple4 OR ((triple5 triple12) -> rule6))] The bald eagle likes the tiger.[(triple5)] The bald eagle sees the tiger.[(triple6)] The tiger eats the bald eagle.[(triple7)] The tiger is kind.[(triple8)] The tiger is nice.[(triple9 OR ((triple7) -> rule2))] The tiger is round.[(triple10)] The tiger likes the bald eagle.[(triple11 OR ((triple9) -> rule4) OR ((triple5 triple7) -> rule5) OR ((((triple7) -> rule2)) -> rule4))] The tiger sees the bald eagle.[(triple12)] @1: The bald eagle likes the bald eagle.[(((triple1) -> rule1))]
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple4
((triple5 triple12) -> (rule6 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple5
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple6
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple7
The tiger is kind.
("tiger" "is" "kind" "+")
triple8
The tiger is nice.
("tiger" "is" "nice" "+")
triple9
((triple7) -> (rule2 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
triple10
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple11
((triple9) -> (rule4 % int1))
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int1
((triple5 triple7) -> (rule5 % int1))
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int1
((((triple7) -> (rule2 % int2))) -> (rule4 % int1))
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple12
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1