Charlie is furry. Fiona is big. Gary is kind. Big people are smart. Furry people are not blue. If someone is kind and nice then they are not blue. Nice people are kind. If someone is smart and not furry then they are kind. If someone is big then they are nice. If someone is big and not young then they are nice. All young people are big.
Charlie is big.
@0: Charlie is furry.[(triple1)] Fiona is big.[(triple2)] Gary is kind.[(triple3)] @1: Charlie is not blue.[(((triple1) -> rule2))] Fiona is nice.[(((triple2) -> rule6))] Fiona is smart.[(((triple2) -> rule1))] @2: Fiona is kind.[(((((triple2) -> rule6)) -> rule4))] @3: Fiona is not blue.[(((((((triple2) -> rule6)) -> rule4) ((triple2) -> rule6)) -> rule3))]