The bald eagle is nice. The bald eagle visits the cow. The bald eagle visits the tiger. The cow chases the bald eagle. The cow chases the tiger. The cow is big. The cow is cold. The cow is nice. The cow likes the bald eagle. The tiger visits the bald eagle. If someone visits the bald eagle then the bald eagle likes the tiger. If someone likes the bald eagle and the bald eagle likes the tiger then the tiger likes the cow. If someone likes the tiger then they chase the bald eagle. If someone is red then they visit the bald eagle. If someone visits the bald eagle and they visit the tiger then the tiger visits the bald eagle. If the bald eagle likes the cow and the cow chases the tiger then the tiger is big.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If someone visits the bald eagle then the bald eagle likes the tiger.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "likes" "tiger" "+"))
If someone likes the bald eagle and the bald eagle likes the tiger then the tiger likes the cow.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "likes" "tiger" "+")) -> ("tiger" "likes" "cow" "+"))
If someone likes the tiger then they chase the bald eagle.
((("someone" "likes" "tiger" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone is red then they visit the bald eagle.
((("someone" "is" "red" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone visits the bald eagle and they visit the tiger then the tiger visits the bald eagle.
((("someone" "visits" "bald eagle" "+") ("someone" "visits" "tiger" "+")) -> ("tiger" "visits" "bald eagle" "+"))
If the bald eagle likes the cow and the cow chases the tiger then the tiger is big.
((("bald eagle" "likes" "cow" "+") ("cow" "chases" "tiger" "+")) -> ("tiger" "is" "big" "+"))
The cow likes the bald eagle.
True
1
proof
[(triple9)]
("cow" "likes" "bald eagle" "+")
triple9
The cow does not chase the bald eagle.
False
1
inv-proof
[(triple4)]
("cow" "chases" "bald eagle" "-")
triple4
The bald eagle likes the tiger.
True
2
proof
[(((triple10) -> rule1))]
("bald eagle" "likes" "tiger" "+")
((triple10) -> (rule1 % int1))
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int1
The bald eagle does not like the tiger.
False
2
inv-proof
[(((triple10) -> rule1))]
("bald eagle" "likes" "tiger" "-")
((triple10) -> (rule1 % int1))
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int1
The bald eagle chases the bald eagle.
True
3
proof
[(((((triple10) -> rule1)) -> rule3))]
("bald eagle" "chases" "bald eagle" "+")
((((triple10) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int2
The tiger does not like the cow.
False
4
inv-proof
[(((triple9 ((triple10) -> rule1)) -> rule2))]
("tiger" "likes" "cow" "-")
((triple9 ((triple10) -> (rule1 % int2))) -> (rule2 % int1))
The tiger likes the cow.
("tiger" "likes" "cow" "+")
int1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int2
The tiger is not big.
Unknown
inv-rconc
[@1: The tiger is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "is" "big" "-")
The bald eagle visits the bald eagle.
Unknown
rconc
[@1: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
The cow does not visit the bald eagle.
Unknown
inv-rconc
[@1: The cow visits the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "visits" "bald eagle" "-")
The cow visits the tiger.
Unknown
random
[@0: The cow visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "tiger" "+")
The bald eagle is not young.
Unknown
inv-random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "-")
The tiger likes the bald eagle.
Unknown
random
[@0: The tiger likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "bald eagle" "+")
@0: The bald eagle is nice.[(triple1)] The bald eagle visits the cow.[(triple2)] The bald eagle visits the tiger.[(triple3)] The cow chases the bald eagle.[(triple4)] The cow chases the tiger.[(triple5)] The cow is big.[(triple6)] The cow is cold.[(triple7)] The cow is nice.[(triple8)] The cow likes the bald eagle.[(triple9)] The tiger visits the bald eagle.[(triple10)] @1: The bald eagle likes the tiger.[(((triple10) -> rule1))] @2: The bald eagle chases the bald eagle.[(((((triple10) -> rule1)) -> rule3))] The tiger likes the cow.[(((triple9 ((triple10) -> rule1)) -> rule2))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple2
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple3
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple4
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple5
The cow is big.
("cow" "is" "big" "+")
triple6
The cow is cold.
("cow" "is" "cold" "+")
triple7
The cow is nice.
("cow" "is" "nice" "+")
triple8
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple9
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple10
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
((triple10) -> (rule1 % int1))
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((((triple10) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int2
The tiger likes the cow.
("tiger" "likes" "cow" "+")
((triple9 ((triple10) -> (rule1 % int2))) -> (rule2 % int1))
The tiger likes the cow.
("tiger" "likes" "cow" "+")
int1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int2