The bear does not like the cow. The cow chases the bear. The cow eats the bear. The cow is big. The cow is red. The cow is young. The cow likes the bear. If the cow chases the bear then the cow eats the bear. Cold things are young. All big things are young. If something chases the bear and the bear likes the cow then the bear does not eat the cow. If something is young and it does not like the cow then it is red. If something likes the cow then the cow is cold. If something eats the bear then the bear is big. If something chases the bear then it is round.
The bear is not young.
@0: The bear does not like the cow.[(triple1)] The cow chases the bear.[(triple2)] The cow eats the bear.[(triple3 OR ((triple2) -> rule1))] The cow is big.[(triple4)] The cow is red.[(triple5)] The cow is young.[(triple6 OR ((triple4) -> rule3))] The cow likes the bear.[(triple7)] @1: The bear is big.[(((triple3) -> rule7) OR ((((triple2) -> rule1)) -> rule7))] The cow is round.[(((triple2) -> rule8))] @2: The bear is young.[(((((triple3) -> rule7)) -> rule3) OR ((((((triple2) -> rule1)) -> rule7)) -> rule3))] @3: The bear is red.[(((((((triple3) -> rule7)) -> rule3) triple1) -> rule5) OR ((((((((triple2) -> rule1)) -> rule7)) -> rule3) triple1) -> rule5))]