Bob is furry. Bob is round. Bob is young. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is young. Harry is furry. Harry is kind. Harry is quiet. Harry is young. Round people are furry. Furry, round people are kind. If someone is quiet and nice then they are round. Round people are furry. If someone is nice and kind then they are quiet. All rough people are furry.
Harry is not round.
@0: Bob is furry.[(triple1 OR ((triple2) -> rule1) OR ((triple2) -> rule4))] Bob is round.[(triple2)] Bob is young.[(triple3)] Charlie is furry.[(triple4 OR ((triple7) -> rule6) OR ((((((triple6 triple5) -> rule5) triple6) -> rule3)) -> rule1) OR ((((((triple6 triple5) -> rule5) triple6) -> rule3)) -> rule4))] Charlie is kind.[(triple5)] Charlie is nice.[(triple6)] Charlie is rough.[(triple7)] Charlie is young.[(triple8)] Harry is furry.[(triple9)] Harry is kind.[(triple10)] Harry is quiet.[(triple11)] Harry is young.[(triple12)] @1: Bob is kind.[(((triple1 triple2) -> rule2) OR ((((triple2) -> rule1) triple2) -> rule2) OR ((((triple2) -> rule4) triple2) -> rule2))] Charlie is quiet.[(((triple6 triple5) -> rule5))] @2: Charlie is round.[(((((triple6 triple5) -> rule5) triple6) -> rule3))]