Bob is quiet. Bob is smart. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is rough. Fiona is young. All furry people are rough. All smart people are furry. If someone is rough and quiet then they are blue.
Bob is not blue.
@0: Bob is quiet.[(triple1)] Bob is smart.[(triple2)] Fiona is cold.[(triple3)] Fiona is furry.[(triple4)] Fiona is quiet.[(triple5)] Fiona is rough.[(triple6 OR ((triple4) -> rule1))] Fiona is young.[(triple7)] @1: Bob is furry.[(((triple2) -> rule2))] Fiona is blue.[(((triple6 triple5) -> rule3) OR ((((triple4) -> rule1) triple5) -> rule3))] @2: Bob is rough.[(((((triple2) -> rule2)) -> rule1))] @3: Bob is blue.[(((((((triple2) -> rule2)) -> rule1) triple1) -> rule3))]