Anne is cold. Anne is quiet. Anne is round. Anne is young. Charlie is big. Charlie is cold. Charlie is nice. Charlie is rough. Charlie is young. Gary is big. Gary is cold. Gary is nice. Gary is quiet. Gary is rough. Gary is young. All nice things are rough. All cold, round things are rough. All quiet, young things are nice. All nice, young things are cold. All young, nice things are quiet. If Anne is round then Anne is quiet. If something is quiet and big then it is rough. If something is cold and rough then it is round.
Anne is not cold.
@0: Anne is cold.[(triple1 OR ((((triple2 triple4) -> rule3) triple4) -> rule4) OR ((((((triple3) -> rule6) triple4) -> rule3) triple4) -> rule4))] Anne is quiet.[(triple2 OR ((triple3) -> rule6))] Anne is round.[(triple3 OR ((triple1 ((((triple2 triple4) -> rule3)) -> rule1)) -> rule8) OR ((((((triple2 triple4) -> rule3) triple4) -> rule4) ((((triple2 triple4) -> rule3)) -> rule1)) -> rule8))] Anne is young.[(triple4)] Charlie is big.[(triple5)] Charlie is cold.[(triple6 OR ((triple7 triple9) -> rule4))] Charlie is nice.[(triple7)] Charlie is rough.[(triple8 OR ((triple7) -> rule1) OR ((((triple9 triple7) -> rule5) triple5) -> rule7))] Charlie is young.[(triple9)] Gary is big.[(triple10)] Gary is cold.[(triple11 OR ((triple12 triple15) -> rule4) OR ((((triple13 triple15) -> rule3) triple15) -> rule4))] Gary is nice.[(triple12 OR ((triple13 triple15) -> rule3))] Gary is quiet.[(triple13 OR ((triple15 triple12) -> rule5))] Gary is rough.[(triple14 OR ((triple12) -> rule1) OR ((triple13 triple10) -> rule7) OR ((((triple13 triple15) -> rule3)) -> rule1) OR ((((triple15 triple12) -> rule5) triple10) -> rule7))] Gary is young.[(triple15)] @1: Anne is nice.[(((triple2 triple4) -> rule3) OR ((((triple3) -> rule6) triple4) -> rule3))] Anne is rough.[(((triple1 triple3) -> rule2) OR ((((triple2 triple4) -> rule3)) -> rule1) OR ((((((triple3) -> rule6) triple4) -> rule3)) -> rule1) OR ((((((triple2 triple4) -> rule3) triple4) -> rule4) triple3) -> rule2) OR ((((((((triple3) -> rule6) triple4) -> rule3) triple4) -> rule4) triple3) -> rule2))] Charlie is quiet.[(((triple9 triple7) -> rule5))] Charlie is round.[(((triple6 triple8) -> rule8) OR ((triple6 ((triple7) -> rule1)) -> rule8) OR ((((triple7 triple9) -> rule4) triple8) -> rule8) OR ((((triple7 triple9) -> rule4) ((triple7) -> rule1)) -> rule8) OR ((triple6 ((((triple9 triple7) -> rule5) triple5) -> rule7)) -> rule8) OR ((((triple7 triple9) -> rule4) ((((triple9 triple7) -> rule5) triple5) -> rule7)) -> rule8))] Gary is round.[(((triple11 triple14) -> rule8) OR ((triple11 ((triple12) -> rule1)) -> rule8) OR ((triple11 ((triple13 triple10) -> rule7)) -> rule8) OR ((((triple12 triple15) -> rule4) triple14) -> rule8) OR ((((triple12 triple15) -> rule4) ((triple12) -> rule1)) -> rule8) OR ((((triple12 triple15) -> rule4) ((triple13 triple10) -> rule7)) -> rule8) OR ((triple11 ((((triple13 triple15) -> rule3)) -> rule1)) -> rule8) OR ((triple11 ((((triple15 triple12) -> rule5) triple10) -> rule7)) -> rule8) OR ((((((triple13 triple15) -> rule3) triple15) -> rule4) triple14) -> rule8) OR ((((triple12 triple15) -> rule4) ((((triple13 triple15) -> rule3)) -> rule1)) -> rule8) OR ((((triple12 triple15) -> rule4) ((((triple15 triple12) -> rule5) triple10) -> rule7)) -> rule8) OR ((((((triple13 triple15) -> rule3) triple15) -> rule4) ((triple12) -> rule1)) -> rule8) OR ((((((triple13 triple15) -> rule3) triple15) -> rule4) ((triple13 triple10) -> rule7)) -> rule8) OR ((((((triple13 triple15) -> rule3) triple15) -> rule4) ((((triple13 triple15) -> rule3)) -> rule1)) -> rule8) OR ((((((triple13 triple15) -> rule3) triple15) -> rule4) ((((triple15 triple12) -> rule5) triple10) -> rule7)) -> rule8))]