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