Anne is big. Anne is quiet. Anne is young. Charlie is big. Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is rough. Charlie is young. Gary is big. Gary is cold. Gary is furry. Gary is green. Gary is quiet. Gary is young. If someone is cold then they are big. Big, quiet people are furry. If Anne is green then Anne is big. If Anne is quiet then Anne is green. All rough people are quiet. All quiet, young people are green.
Charlie is not furry.
@0: Anne is big.[(triple1 OR ((((triple2) -> rule4)) -> rule3) OR ((((triple2 triple3) -> rule6)) -> rule3))] Anne is quiet.[(triple2)] Anne is young.[(triple3)] Charlie is big.[(triple4 OR ((triple5) -> rule1))] Charlie is cold.[(triple5)] Charlie is furry.[(triple6 OR ((triple4 triple7) -> rule2) OR ((triple4 ((triple8) -> rule5)) -> rule2) OR ((((triple5) -> rule1) triple7) -> rule2) OR ((((triple5) -> rule1) ((triple8) -> rule5)) -> rule2))] Charlie is quiet.[(triple7 OR ((triple8) -> rule5))] Charlie is rough.[(triple8)] Charlie is young.[(triple9)] Gary is big.[(triple10 OR ((triple11) -> rule1))] Gary is cold.[(triple11)] Gary is furry.[(triple12 OR ((triple10 triple14) -> rule2) OR ((((triple11) -> rule1) triple14) -> rule2))] Gary is green.[(triple13 OR ((triple14 triple15) -> rule6))] Gary is quiet.[(triple14)] Gary is young.[(triple15)] @1: Anne is furry.[(((triple1 triple2) -> rule2) OR ((((((triple2) -> rule4)) -> rule3) triple2) -> rule2) OR ((((((triple2 triple3) -> rule6)) -> rule3) triple2) -> rule2))] Anne is green.[(((triple2) -> rule4) OR ((triple2 triple3) -> rule6))] Charlie is green.[(((triple7 triple9) -> rule6) OR ((((triple8) -> rule5) triple9) -> rule6))]