Bob is big. Bob is not white. Fiona is blue. Fiona is kind. Fiona is white. Gary is not big. Gary is not kind. If something is white and rough then it is kind. All big, white things are red. If Bob is rough and Bob is blue then Bob is smart. If something is rough and not blue then it is smart. All blue, red things are smart. If something is white then it is big. If Fiona is not kind then Fiona is smart. If Bob is smart and Bob is not big then Bob is not kind.
Gary is not blue.
@0: Bob is big.[(triple1)] Bob is not white.[(triple2)] Fiona is blue.[(triple3)] Fiona is kind.[(triple4)] Fiona is white.[(triple5)] Gary is not big.[(triple6)] Gary is not kind.[(triple7)] @1: Fiona is big.[(((triple5) -> rule6))] @2: Fiona is red.[(((((triple5) -> rule6) triple5) -> rule2))] @3: Fiona is smart.[(((triple3 ((((triple5) -> rule6) triple5) -> rule2)) -> rule5))]