The bald eagle is kind. The bald eagle is rough. The bald eagle is young. The bear sees the tiger. The bear visits the bald eagle. The tiger likes the bald eagle. The tiger visits the bear. If someone visits the tiger then they like the tiger. If someone sees the bear then they are rough. If someone likes the bald eagle and they visit the bear then the bear visits the tiger.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If someone visits the tiger then they like the tiger.
((("someone" "visits" "tiger" "+")) -> ("someone" "likes" "tiger" "+"))
If someone sees the bear then they are rough.
((("someone" "sees" "bear" "+")) -> ("someone" "is" "rough" "+"))
If someone likes the bald eagle and they visit the bear then the bear visits the tiger.
((("someone" "likes" "bald eagle" "+") ("someone" "visits" "bear" "+")) -> ("bear" "visits" "tiger" "+"))
The bear visits the bald eagle.
True
1
proof
[(triple5)]
("bear" "visits" "bald eagle" "+")
triple5
The bald eagle is not rough.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "rough" "-")
triple2
The bear visits the tiger.
True
3
proof
[(((triple6 triple7) -> rule3))]
("bear" "visits" "tiger" "+")
((triple6 triple7) -> (rule3 % int1))
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int1
The bear does not visit the tiger.
False
3
inv-proof
[(((triple6 triple7) -> rule3))]
("bear" "visits" "tiger" "-")
((triple6 triple7) -> (rule3 % int1))
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int1
The bear likes the tiger.
True
4
proof
[(((((triple6 triple7) -> rule3)) -> rule1))]
("bear" "likes" "tiger" "+")
((((triple6 triple7) -> (rule3 % int2))) -> (rule1 % int1))
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int1
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int2
The bear does not like the tiger.
False
4
inv-proof
[(((((triple6 triple7) -> rule3)) -> rule1))]
("bear" "likes" "tiger" "-")
((((triple6 triple7) -> (rule3 % int2))) -> (rule1 % int1))
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int1
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int2
The tiger does not like the tiger.
Unknown
inv-rconc
[@1: The tiger likes the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "likes" "tiger" "-")
The tiger is rough.
Unknown
rconc
[@1: The tiger is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "is" "rough" "+")
The bear is not rough.
Unknown
inv-rconc
[@1: The bear is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "rough" "-")
The bear is kind.
Unknown
random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "+")
The bear is not big.
Unknown
inv-random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "-")
The bear is young.
Unknown
random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle is young.[(triple3)] The bear sees the tiger.[(triple4)] The bear visits the bald eagle.[(triple5)] The tiger likes the bald eagle.[(triple6)] The tiger visits the bear.[(triple7)] @1: The bear visits the tiger.[(((triple6 triple7) -> rule3))] @2: The bear likes the tiger.[(((((triple6 triple7) -> rule3)) -> rule1))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple4
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple5
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple6
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple7
The bear visits the tiger.
("bear" "visits" "tiger" "+")
((triple6 triple7) -> (rule3 % int1))
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int1
The bear likes the tiger.
("bear" "likes" "tiger" "+")
((((triple6 triple7) -> (rule3 % int2))) -> (rule1 % int1))
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int1
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int2