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