Anne is blue. Anne is cold. Anne is furry. Anne is green. Anne is kind. Anne is rough. Anne is white. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is rough. Charlie is white. If someone is blue and green then they are white. All white people are kind. If Anne is kind and Anne is blue then Anne is green. White people are furry. If Charlie is rough then Charlie is cold. If Charlie is kind and Charlie is cold then Charlie is white.
Anne is blue.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3 OR ((triple7) -> rule4) OR ((((triple1 triple4) -> rule1)) -> rule4) OR ((((triple1 ((triple5 triple1) -> rule3)) -> rule1)) -> rule4))] Anne is green.[(triple4 OR ((triple5 triple1) -> rule3) OR ((((triple7) -> rule2) triple1) -> rule3))] Anne is kind.[(triple5 OR ((triple7) -> rule2) OR ((((triple1 triple4) -> rule1)) -> rule2))] Anne is rough.[(triple6)] Anne is white.[(triple7 OR ((triple1 triple4) -> rule1) OR ((triple1 ((triple5 triple1) -> rule3)) -> rule1))] Charlie is blue.[(triple8)] Charlie is cold.[(triple9 OR ((triple13) -> rule5))] Charlie is furry.[(triple10 OR ((triple14) -> rule4) OR ((((triple12 triple9) -> rule6)) -> rule4) OR ((((triple8 triple11) -> rule1)) -> rule4) OR ((((triple12 ((triple13) -> rule5)) -> rule6)) -> rule4))] Charlie is green.[(triple11)] Charlie is kind.[(triple12 OR ((triple14) -> rule2) OR ((((triple8 triple11) -> rule1)) -> rule2))] Charlie is rough.[(triple13)] Charlie is white.[(triple14 OR ((triple12 triple9) -> rule6) OR ((triple8 triple11) -> rule1) OR ((triple12 ((triple13) -> rule5)) -> rule6))]