Bob is kind. Bob is quiet. Bob is smart. Bob is white. Erin is big. Erin is furry. Erin is kind. Erin is quiet. Erin is smart. Erin is white. If something is furry then it is smart. If something is smart and quiet then it is rough. If something is furry and white then it is quiet.
Bob is furry.
@0: Bob is kind.[(triple1)] Bob is quiet.[(triple2)] Bob is smart.[(triple3)] Bob is white.[(triple4)] Erin is big.[(triple5)] Erin is furry.[(triple6)] Erin is kind.[(triple7)] Erin is quiet.[(triple8 OR ((triple6 triple10) -> rule3))] Erin is smart.[(triple9 OR ((triple6) -> rule1))] Erin is white.[(triple10)] @1: Bob is rough.[(((triple3 triple2) -> rule2))] Erin is rough.[(((triple9 triple8) -> rule2) OR ((triple9 ((triple6 triple10) -> rule3)) -> rule2) OR ((((triple6) -> rule1) triple8) -> rule2) OR ((((triple6) -> rule1) ((triple6 triple10) -> rule3)) -> rule2))]