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