Bob is big. Bob is blue. Bob is round. Charlie is blue. Charlie is furry. Charlie is green. Charlie is rough. Fiona is big. Fiona is blue. Fiona is furry. Fiona is quiet. Fiona is round. Green, blue things are rough. If something is round then it is rough. Blue things are round.
Bob is not big.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is round.[(triple3 OR ((triple2) -> rule3))] Charlie is blue.[(triple4)] Charlie is furry.[(triple5)] Charlie is green.[(triple6)] Charlie is rough.[(triple7 OR ((triple6 triple4) -> rule1) OR ((((triple4) -> rule3)) -> rule2))] Fiona is big.[(triple8)] Fiona is blue.[(triple9)] Fiona is furry.[(triple10)] Fiona is quiet.[(triple11)] Fiona is round.[(triple12 OR ((triple9) -> rule3))] @1: Bob is rough.[(((triple3) -> rule2) OR ((((triple2) -> rule3)) -> rule2))] Charlie is round.[(((triple4) -> rule3))] Fiona is rough.[(((triple12) -> rule2) OR ((((triple9) -> rule3)) -> rule2))]