Charlie is big. Charlie is furry. Charlie is quiet. Charlie is rough. Charlie is young. Dave is furry. Gary is big. Gary is furry. Gary is quiet. Harry is quiet. All young people are furry. Rough, big people are quiet. Furry, big people are rough.
Charlie is big.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2 OR ((triple5) -> rule1))] Charlie is quiet.[(triple3 OR ((triple4 triple1) -> rule2) OR ((((triple2 triple1) -> rule3) triple1) -> rule2) OR ((((((triple5) -> rule1) triple1) -> rule3) triple1) -> rule2))] Charlie is rough.[(triple4 OR ((triple2 triple1) -> rule3) OR ((((triple5) -> rule1) triple1) -> rule3))] Charlie is young.[(triple5)] Dave is furry.[(triple6)] Gary is big.[(triple7)] Gary is furry.[(triple8)] Gary is quiet.[(triple9 OR ((((triple8 triple7) -> rule3) triple7) -> rule2))] Harry is quiet.[(triple10)] @1: Gary is rough.[(((triple8 triple7) -> rule3))]