Charlie is big. Charlie is blue. Charlie is red. Charlie is white. Charlie is not young. Fiona is big. Fiona is blue. Fiona is not red. Fiona is rough. Fiona is smart. Fiona is white. Fiona is young. If Charlie is big and Charlie is red then Charlie is blue. Big, blue people are rough. If someone is rough then they are smart.
Charlie is not rough.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2 OR ((triple1 triple3) -> rule1))] Charlie is not young.[(triple5)] Charlie is red.[(triple3)] Charlie is white.[(triple4)] Fiona is big.[(triple6)] Fiona is blue.[(triple7)] Fiona is not red.[(triple8)] Fiona is rough.[(triple9 OR ((triple6 triple7) -> rule2))] Fiona is smart.[(triple10 OR ((triple9) -> rule3) OR ((((triple6 triple7) -> rule2)) -> rule3))] Fiona is white.[(triple11)] Fiona is young.[(triple12)] @1: Charlie is rough.[(((triple1 triple2) -> rule2) OR ((triple1 ((triple1 triple3) -> rule1)) -> rule2))] @2: Charlie is smart.[(((((triple1 triple2) -> rule2)) -> rule3) OR ((((triple1 ((triple1 triple3) -> rule1)) -> rule2)) -> rule3))]