Bob is not big. Bob is blue. Bob is furry. Bob is quiet. Bob is rough. Bob is not smart. Charlie is big. Charlie is quiet. Erin is not big. Erin is furry. Erin is kind. Erin is quiet. Erin is smart. Fiona is big. Fiona is rough. Fiona is not smart. Smart, kind people are furry. If Erin is big then Erin is rough. If Charlie is rough and Charlie is not quiet then Charlie is big. If Charlie is not smart then Charlie is big. If Erin is smart and Erin is kind then Erin is furry. If someone is big and furry then they are kind. Rough, smart people are not big. If Charlie is big and Charlie is not kind then Charlie is not blue.
Erin is not smart.
@0: Bob is blue.[(triple2)] Bob is furry.[(triple3)] Bob is not big.[(triple1)] Bob is not smart.[(triple6)] Bob is quiet.[(triple4)] Bob is rough.[(triple5)] Charlie is big.[(triple7)] Charlie is quiet.[(triple8)] Erin is furry.[(triple10 OR ((triple13 triple11) -> rule1) OR ((triple13 triple11) -> rule5))] Erin is kind.[(triple11)] Erin is not big.[(triple9)] Erin is quiet.[(triple12)] Erin is smart.[(triple13)] Fiona is big.[(triple14)] Fiona is not smart.[(triple16)] Fiona is rough.[(triple15)]