Dave is furry. Dave is kind. Dave is quiet. Dave is young. Fiona is big. Fiona is furry. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is white. Fiona is young. Gary is big. Gary is green. Gary is quiet. Gary is young. If Dave is white then Dave is furry. If someone is quiet then they are furry. If someone is kind and young then they are white.
Dave is green.
@0: Dave is furry.[(triple1 OR ((triple3) -> rule2) OR ((((triple2 triple4) -> rule3)) -> rule1))] Dave is kind.[(triple2)] Dave is quiet.[(triple3)] Dave is young.[(triple4)] Fiona is big.[(triple5)] Fiona is furry.[(triple6 OR ((triple9) -> rule2))] Fiona is green.[(triple7)] Fiona is kind.[(triple8)] Fiona is quiet.[(triple9)] Fiona is white.[(triple10 OR ((triple8 triple11) -> rule3))] Fiona is young.[(triple11)] Gary is big.[(triple12)] Gary is green.[(triple13)] Gary is quiet.[(triple14)] Gary is young.[(triple15)] @1: Dave is white.[(((triple2 triple4) -> rule3))] Gary is furry.[(((triple14) -> rule2))]