Bob is quiet. Erin is big. Erin is nice. Erin is quiet. Erin is white. Fiona is big. Gary is blue. If something is white and green then it is big. Nice things are blue. Quiet things are big. If something is furry then it is big. White, green things are nice. If Bob is quiet and Bob is blue then Bob is furry.
Bob is not nice.
@0: Bob is quiet.[(triple1)] Erin is big.[(triple2 OR ((triple4) -> rule3))] Erin is nice.[(triple3)] Erin is quiet.[(triple4)] Erin is white.[(triple5)] Fiona is big.[(triple6)] Gary is blue.[(triple7)] @1: Bob is big.[(((triple1) -> rule3))] Erin is blue.[(((triple3) -> rule2))]