Charlie is furry. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Harry is furry. Harry is kind. Harry is nice. Harry is quiet. Harry is red. Harry is rough. Harry is round. Rough, kind things are nice. Quiet things are kind. Furry things are red. If Charlie is kind and Charlie is round then Charlie is furry. All rough things are round. Quiet, nice things are red.
Harry is nice.
@0: Charlie is furry.[(triple1 OR ((triple2 triple7) -> rule4) OR ((triple2 ((triple6) -> rule5)) -> rule4) OR ((((triple4) -> rule2) triple7) -> rule4) OR ((((triple4) -> rule2) ((triple6) -> rule5)) -> rule4))] Charlie is kind.[(triple2 OR ((triple4) -> rule2))] Charlie is nice.[(triple3 OR ((triple6 triple2) -> rule1) OR ((triple6 ((triple4) -> rule2)) -> rule1))] Charlie is quiet.[(triple4)] Charlie is red.[(triple5 OR ((triple1) -> rule3) OR ((triple4 triple3) -> rule6) OR ((((triple2 triple7) -> rule4)) -> rule3) OR ((triple4 ((triple6 triple2) -> rule1)) -> rule6) OR ((((triple2 ((triple6) -> rule5)) -> rule4)) -> rule3) OR ((((((triple4) -> rule2) triple7) -> rule4)) -> rule3) OR ((triple4 ((triple6 ((triple4) -> rule2)) -> rule1)) -> rule6) OR ((((((triple4) -> rule2) ((triple6) -> rule5)) -> rule4)) -> rule3))] Charlie is rough.[(triple6)] Charlie is round.[(triple7 OR ((triple6) -> rule5))] Harry is furry.[(triple8)] Harry is kind.[(triple9 OR ((triple11) -> rule2))] Harry is nice.[(triple10 OR ((triple13 triple9) -> rule1) OR ((triple13 ((triple11) -> rule2)) -> rule1))] Harry is quiet.[(triple11)] Harry is red.[(triple12 OR ((triple8) -> rule3) OR ((triple11 triple10) -> rule6) OR ((triple11 ((triple13 triple9) -> rule1)) -> rule6) OR ((triple11 ((triple13 ((triple11) -> rule2)) -> rule1)) -> rule6))] Harry is rough.[(triple13)] Harry is round.[(triple14 OR ((triple13) -> rule5))]