Charlie is big. Charlie is blue. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is not young. Fiona is big. Fiona is blue. Fiona is not furry. Fiona is not kind. Fiona is not nice. Gary is big. Gary is blue. Gary is not nice. Gary is quiet. If someone is young and furry then they are quiet. Furry people are quiet. If someone is nice and young then they are not quiet. All kind people are big. Furry, quiet people are big. All kind, blue people are big. If someone is kind then they are big. If Charlie is kind then Charlie is quiet.
Fiona is not quiet.
@0: Charlie is big.[(triple1 OR ((triple4) -> rule4) OR ((triple4) -> rule7) OR ((triple3 triple6) -> rule5) OR ((triple4 triple2) -> rule6) OR ((triple3 ((triple3) -> rule2)) -> rule5) OR ((triple3 ((triple4) -> rule8)) -> rule5))] Charlie is blue.[(triple2)] Charlie is furry.[(triple3)] Charlie is kind.[(triple4)] Charlie is nice.[(triple5)] Charlie is not young.[(triple7)] Charlie is quiet.[(triple6 OR ((triple3) -> rule2) OR ((triple4) -> rule8))] Fiona is big.[(triple8)] Fiona is blue.[(triple9)] Fiona is not furry.[(triple10)] Fiona is not kind.[(triple11)] Fiona is not nice.[(triple12)] Gary is big.[(triple13)] Gary is blue.[(triple14)] Gary is not nice.[(triple15)] Gary is quiet.[(triple16)]