Charlie is big. Charlie is blue. Charlie is kind. Charlie is nice. Charlie is smart. Charlie is white. Fiona is big. Fiona is furry. Fiona is kind. Fiona is white. If someone is kind and big then they are furry. Kind, smart people are blue.
Charlie is smart.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2 OR ((triple3 triple5) -> rule2))] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is smart.[(triple5)] Charlie is white.[(triple6)] Fiona is big.[(triple7)] Fiona is furry.[(triple8 OR ((triple9 triple7) -> rule1))] Fiona is kind.[(triple9)] Fiona is white.[(triple10)] @1: Charlie is furry.[(((triple3 triple1) -> rule1))]