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