Dave is big. Dave is red. Dave is round. Fiona is green. Fiona is rough. Fiona is round. Gary is big. Gary is quiet. Gary is rough. Harry is big. If someone is big then they are young. If someone is young and big then they are red. If someone is young and rough then they are quiet. If Fiona is quiet then Fiona is big. All big people are young. If Gary is rough then Gary is green. If Harry is quiet and Harry is young then Harry is round. All green people are young.
Gary is not red.
@0: Dave is big.[(triple1)] Dave is red.[(triple2 OR ((((triple1) -> rule1) triple1) -> rule2) OR ((((triple1) -> rule5) triple1) -> rule2))] Dave is round.[(triple3)] Fiona is green.[(triple4)] Fiona is rough.[(triple5)] Fiona is round.[(triple6)] Gary is big.[(triple7)] Gary is quiet.[(triple8 OR ((((triple7) -> rule1) triple9) -> rule3) OR ((((triple7) -> rule5) triple9) -> rule3) OR ((((((triple9) -> rule6)) -> rule8) triple9) -> rule3))] Gary is rough.[(triple9)] Harry is big.[(triple10)] @1: Dave is young.[(((triple1) -> rule1) OR ((triple1) -> rule5))] Fiona is young.[(((triple4) -> rule8))] Gary is green.[(((triple9) -> rule6))] Gary is young.[(((triple7) -> rule1) OR ((triple7) -> rule5) OR ((((triple9) -> rule6)) -> rule8))] Harry is young.[(((triple10) -> rule1) OR ((triple10) -> rule5))] @2: Fiona is quiet.[(((((triple4) -> rule8) triple5) -> rule3))] Gary is red.[(((((triple7) -> rule1) triple7) -> rule2) OR ((((triple7) -> rule5) triple7) -> rule2) OR ((((((triple9) -> rule6)) -> rule8) triple7) -> rule2))] Harry is red.[(((((triple10) -> rule1) triple10) -> rule2) OR ((((triple10) -> rule5) triple10) -> rule2))] @3: Fiona is big.[(((((((triple4) -> rule8) triple5) -> rule3)) -> rule4))] @4: Fiona is red.[(((((triple4) -> rule8) ((((((triple4) -> rule8) triple5) -> rule3)) -> rule4)) -> rule2))]