Anne is not big. Anne is blue. Anne is red. Charlie is big. Charlie is red. Charlie is white. Gary is not blue. Gary is green. Gary is red. Gary is white. Gary is young. Harry is red. If Anne is young then Anne is cold. Young people are cold. If someone is red then they are cold. All cold people are young. If Anne is green and Anne is cold then Anne is white. White people are red. Young people are white. All young people are green.
Gary is not big.
@0: Anne is blue.[(triple2)] Anne is not big.[(triple1)] Anne is red.[(triple3)] Charlie is big.[(triple4)] Charlie is red.[(triple5 OR ((triple6) -> rule6))] Charlie is white.[(triple6 OR ((((((triple5) -> rule3)) -> rule4)) -> rule7))] Gary is green.[(triple8 OR ((triple11) -> rule8) OR ((((((triple9) -> rule3)) -> rule4)) -> rule8) OR ((((((((triple10) -> rule6)) -> rule3)) -> rule4)) -> rule8))] Gary is not blue.[(triple7)] Gary is red.[(triple9 OR ((triple10) -> rule6) OR ((((triple11) -> rule7)) -> rule6))] Gary is white.[(triple10 OR ((triple11) -> rule7) OR ((((((triple9) -> rule3)) -> rule4)) -> rule7))] Gary is young.[(triple11 OR ((((triple9) -> rule3)) -> rule4) OR ((((((triple10) -> rule6)) -> rule3)) -> rule4))] Harry is red.[(triple12)] @1: Anne is cold.[(((triple3) -> rule3))] Charlie is cold.[(((triple5) -> rule3) OR ((((triple6) -> rule6)) -> rule3))] Gary is cold.[(((triple11) -> rule2) OR ((triple9) -> rule3) OR ((((triple10) -> rule6)) -> rule3) OR ((((((triple11) -> rule7)) -> rule6)) -> rule3))] Harry is cold.[(((triple12) -> rule3))] @2: Anne is young.[(((((triple3) -> rule3)) -> rule4))] Charlie is young.[(((((triple5) -> rule3)) -> rule4) OR ((((((triple6) -> rule6)) -> rule3)) -> rule4))] Harry is young.[(((((triple12) -> rule3)) -> rule4))] @3: Anne is green.[(((((((triple3) -> rule3)) -> rule4)) -> rule8))] Anne is white.[(((((((triple3) -> rule3)) -> rule4)) -> rule7) OR ((((((((triple3) -> rule3)) -> rule4)) -> rule8) ((triple3) -> rule3)) -> rule5))] Charlie is green.[(((((((triple5) -> rule3)) -> rule4)) -> rule8) OR ((((((((triple6) -> rule6)) -> rule3)) -> rule4)) -> rule8))] Harry is green.[(((((((triple12) -> rule3)) -> rule4)) -> rule8))] Harry is white.[(((((((triple12) -> rule3)) -> rule4)) -> rule7))]