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