Bob is big. Bob is furry. Bob is kind. Bob is red. Bob is young. Charlie is big. Charlie is quiet. Fiona is big. Fiona is blue. Fiona is furry. Fiona is quiet. Gary is big. Gary is blue. Gary is furry. Gary is kind. Gary is not red. If someone is furry then they are blue. If someone is big then they are kind. If someone is furry and not red then they are quiet.
Bob is not quiet.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is kind.[(triple3 OR ((triple1) -> rule2))] Bob is red.[(triple4)] Bob is young.[(triple5)] Charlie is big.[(triple6)] Charlie is quiet.[(triple7)] Fiona is big.[(triple8)] Fiona is blue.[(triple9 OR ((triple10) -> rule1))] Fiona is furry.[(triple10)] Fiona is quiet.[(triple11)] Gary is big.[(triple12)] Gary is blue.[(triple13 OR ((triple14) -> rule1))] Gary is furry.[(triple14)] Gary is kind.[(triple15 OR ((triple12) -> rule2))] Gary is not red.[(triple16)] @1: Bob is blue.[(((triple2) -> rule1))] Charlie is kind.[(((triple6) -> rule2))] Fiona is kind.[(((triple8) -> rule2))] Gary is quiet.[(((triple14 triple16) -> rule3))]