The cow is blue. The cow is cold. The cow is nice. The cow is rough. The cow is round. If the cow is round and the cow is rough then the cow is cold. All round people are blue. Blue people are cold. All blue people are round. If someone is nice and round then they are blue. Cold people are rough.
The cow likes the cow.
@0: The cow is blue.[(triple1 OR ((triple5) -> rule2) OR ((triple3 triple5) -> rule5))] The cow is cold.[(triple2 OR ((triple1) -> rule3) OR ((triple5 triple4) -> rule1) OR ((((triple5) -> rule2)) -> rule3) OR ((((triple3 triple5) -> rule5)) -> rule3) OR ((((triple1) -> rule4) triple4) -> rule1))] The cow is nice.[(triple3)] The cow is rough.[(triple4 OR ((triple2) -> rule6) OR ((((triple1) -> rule3)) -> rule6) OR ((((((triple5) -> rule2)) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule5)) -> rule3)) -> rule6))] The cow is round.[(triple5 OR ((triple1) -> rule4))]