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