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