Anne is not big. Anne is rough. Anne is smart. Bob is big. Bob is blue. Bob is furry. Bob is quiet. Bob is rough. Bob is round. Bob is not smart. Charlie is big. Charlie is blue. Charlie is furry. Charlie is quiet. Charlie is rough. Charlie is smart. If someone is quiet and round then they are blue. Big people are blue. All rough, smart people are blue. If someone is blue and not quiet then they are smart. If someone is quiet and not round then they are smart. If Charlie is not rough then Charlie is furry. All blue people are furry. All round, rough people are furry.
Anne is quiet.
@0: Anne is not big.[(triple1)] Anne is rough.[(triple2)] Anne is smart.[(triple3)] Bob is big.[(triple4)] Bob is blue.[(triple5 OR ((triple4) -> rule2) OR ((triple7 triple9) -> rule1))] Bob is furry.[(triple6 OR ((triple5) -> rule7) OR ((triple9 triple8) -> rule8) OR ((((triple4) -> rule2)) -> rule7) OR ((((triple7 triple9) -> rule1)) -> rule7))] Bob is not smart.[(triple10)] Bob is quiet.[(triple7)] Bob is rough.[(triple8)] Bob is round.[(triple9)] Charlie is big.[(triple11)] Charlie is blue.[(triple12 OR ((triple11) -> rule2) OR ((triple15 triple16) -> rule3))] Charlie is furry.[(triple13 OR ((triple12) -> rule7) OR ((((triple11) -> rule2)) -> rule7) OR ((((triple15 triple16) -> rule3)) -> rule7))] Charlie is quiet.[(triple14)] Charlie is rough.[(triple15)] Charlie is smart.[(triple16)] @1: Anne is blue.[(((triple2 triple3) -> rule3))] @2: Anne is furry.[(((((triple2 triple3) -> rule3)) -> rule7))]