Charlie is big. Charlie is furry. Charlie is smart. Charlie is white. Fiona is not big. Fiona is blue. Fiona is furry. Fiona is quiet. Fiona is red. Fiona is white. If something is red then it is white. Big things are furry. Furry, white things are smart.
Charlie is quiet.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2 OR ((triple1) -> rule2))] Charlie is smart.[(triple3 OR ((triple2 triple4) -> rule3) OR ((((triple1) -> rule2) triple4) -> rule3))] Charlie is white.[(triple4)] Fiona is blue.[(triple6)] Fiona is furry.[(triple7)] Fiona is not big.[(triple5)] Fiona is quiet.[(triple8)] Fiona is red.[(triple9)] Fiona is white.[(triple10 OR ((triple9) -> rule1))] @1: Fiona is smart.[(((triple7 triple10) -> rule3) OR ((triple7 ((triple9) -> rule1)) -> rule3))]