Charlie is big. Charlie is furry. Charlie is red. Charlie is rough. Charlie is smart. Fiona is big. Fiona is cold. Fiona is red. Fiona is rough. Fiona is smart. If someone is rough then they are nice. If someone is furry then they are red.
Fiona is furry.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is red.[(triple3 OR ((triple2) -> rule2))] Charlie is rough.[(triple4)] Charlie is smart.[(triple5)] Fiona is big.[(triple6)] Fiona is cold.[(triple7)] Fiona is red.[(triple8)] Fiona is rough.[(triple9)] Fiona is smart.[(triple10)] @1: Charlie is nice.[(((triple4) -> rule1))] Fiona is nice.[(((triple9) -> rule1))]