Bob is big. Bob is green. Bob is kind. Bob is nice. Bob is quiet. Bob is red. Bob is round. Gary is big. Gary is green. Gary is kind. Gary is quiet. Gary is round. Harry is big. Harry is green. Harry is kind. Harry is quiet. If Gary is green then Gary is red. All green people are quiet. Green people are round.
Harry is big.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is quiet.[(triple5 OR ((triple2) -> rule2))] Bob is red.[(triple6)] Bob is round.[(triple7 OR ((triple2) -> rule3))] Gary is big.[(triple8)] Gary is green.[(triple9)] Gary is kind.[(triple10)] Gary is quiet.[(triple11 OR ((triple9) -> rule2))] Gary is round.[(triple12 OR ((triple9) -> rule3))] Harry is big.[(triple13)] Harry is green.[(triple14)] Harry is kind.[(triple15)] Harry is quiet.[(triple16 OR ((triple14) -> rule2))] @1: Gary is red.[(((triple9) -> rule1))] Harry is round.[(((triple14) -> rule3))]