Bob is big. Bob is furry. Bob is kind. Bob is nice. Bob is quiet. Bob is white. Erin is nice. Erin is white. Fiona is blue. Fiona is kind. Gary is big. Gary is quiet. White, blue things are kind. Kind things are quiet. All big things are white.
Erin is big.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is quiet.[(triple5 OR ((triple3) -> rule2))] Bob is white.[(triple6 OR ((triple1) -> rule3))] Erin is nice.[(triple7)] Erin is white.[(triple8)] Fiona is blue.[(triple9)] Fiona is kind.[(triple10)] Gary is big.[(triple11)] Gary is quiet.[(triple12)] @1: Fiona is quiet.[(((triple10) -> rule2))] Gary is white.[(((triple11) -> rule3))]