The bald eagle chases the tiger. The bear needs the tiger. The bear visits the bald eagle. The bear visits the tiger. The cow chases the bear. The cow is rough. The cow needs the bear. The tiger is kind. The tiger needs the bear. The tiger visits the bald eagle. If something chases the bear and it needs the bear then it visits the cow. If something visits the tiger then the tiger is nice. If something needs the bald eagle then it needs the tiger. If the cow visits the bald eagle then the bald eagle is rough. If something chases the cow then it is nice. If something is nice then it needs the cow. If something chases the cow then it is kind. If something chases the cow and the cow chases the tiger then the cow chases the bald eagle.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If something chases the bear and it needs the bear then it visits the cow.
((("something" "chases" "bear" "+") ("something" "needs" "bear" "+")) -> ("something" "visits" "cow" "+"))
If something visits the tiger then the tiger is nice.
((("something" "visits" "tiger" "+")) -> ("tiger" "is" "nice" "+"))
If something needs the bald eagle then it needs the tiger.
((("something" "needs" "bald eagle" "+")) -> ("something" "needs" "tiger" "+"))
If the cow visits the bald eagle then the bald eagle is rough.
((("cow" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "+"))
If something chases the cow then it is nice.
((("something" "chases" "cow" "+")) -> ("something" "is" "nice" "+"))
If something is nice then it needs the cow.
((("something" "is" "nice" "+")) -> ("something" "needs" "cow" "+"))
If something chases the cow then it is kind.
((("something" "chases" "cow" "+")) -> ("something" "is" "kind" "+"))
If something chases the cow and the cow chases the tiger then the cow chases the bald eagle.
((("something" "chases" "cow" "+") ("cow" "chases" "tiger" "+")) -> ("cow" "chases" "bald eagle" "+"))
The bear visits the tiger.
True
1
proof
[(triple4)]
("bear" "visits" "tiger" "+")
triple4
The cow does not need the bear.
False
1
inv-proof
[(triple7)]
("cow" "needs" "bear" "-")
triple7
The tiger is nice.
True
2
proof
[(((triple4) -> rule2))]
("tiger" "is" "nice" "+")
((triple4) -> (rule2 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is not nice.
False
2
inv-proof
[(((triple4) -> rule2))]
("tiger" "is" "nice" "-")
((triple4) -> (rule2 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger needs the cow.
True
3
proof
[(((((triple4) -> rule2)) -> rule6))]
("tiger" "needs" "cow" "+")
((((triple4) -> (rule2 % int2))) -> (rule6 % int1))
The tiger needs the cow.
("tiger" "needs" "cow" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger does not need the cow.
False
3
inv-proof
[(((((triple4) -> rule2)) -> rule6))]
("tiger" "needs" "cow" "-")
((((triple4) -> (rule2 % int2))) -> (rule6 % int1))
The tiger needs the cow.
("tiger" "needs" "cow" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The cow does not need the tiger.
Unknown
inv-rconc
[@1: The cow needs the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "needs" "tiger" "-")
The bald eagle is rough.
Unknown
rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "rough" "+")
The tiger does not need the tiger.
Unknown
inv-rconc
[@1: The tiger needs the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "needs" "tiger" "-")
The bear is round.
Unknown
random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "+")
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
The bear chases the bald eagle.
Unknown
random
[@0: The bear chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bald eagle" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bear needs the tiger.[(triple2)] The bear visits the bald eagle.[(triple3)] The bear visits the tiger.[(triple4)] The cow chases the bear.[(triple5)] The cow is rough.[(triple6)] The cow needs the bear.[(triple7)] The tiger is kind.[(triple8)] The tiger needs the bear.[(triple9)] The tiger visits the bald eagle.[(triple10)] @1: The cow visits the cow.[(((triple5 triple7) -> rule1))] The tiger is nice.[(((triple4) -> rule2))] @2: The tiger needs the cow.[(((((triple4) -> rule2)) -> rule6))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple2
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple3
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple4
The cow chases the bear.
("cow" "chases" "bear" "+")
triple5
The cow is rough.
("cow" "is" "rough" "+")
triple6
The cow needs the bear.
("cow" "needs" "bear" "+")
triple7
The tiger is kind.
("tiger" "is" "kind" "+")
triple8
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple9
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple10
The cow visits the cow.
("cow" "visits" "cow" "+")
((triple5 triple7) -> (rule1 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
((triple4) -> (rule2 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger needs the cow.
("tiger" "needs" "cow" "+")
((((triple4) -> (rule2 % int2))) -> (rule6 % int1))
The tiger needs the cow.
("tiger" "needs" "cow" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2