Anne is cold. Charlie is big. Charlie is cold. Charlie is green. Charlie is quiet. Dave is big. Dave is blue. Dave is green. Dave is nice. Gary is blue. Gary is kind. Gary is quiet. If someone is nice then they are cold. All quiet, nice people are cold. If Gary is blue and Gary is quiet then Gary is nice. If Charlie is cold and Charlie is green then Charlie is big. If someone is cold and kind then they are big. If Anne is green then Anne is big.
Charlie is blue.
@0: Anne is cold.[(triple1)] Charlie is big.[(triple2 OR ((triple3 triple4) -> rule4))] Charlie is cold.[(triple3)] Charlie is green.[(triple4)] Charlie is quiet.[(triple5)] Dave is big.[(triple6)] Dave is blue.[(triple7)] Dave is green.[(triple8)] Dave is nice.[(triple9)] Gary is blue.[(triple10)] Gary is kind.[(triple11)] Gary is quiet.[(triple12)] @1: Dave is cold.[(((triple9) -> rule1))] Gary is nice.[(((triple10 triple12) -> rule3))] @2: Gary is cold.[(((((triple10 triple12) -> rule3)) -> rule1) OR ((triple12 ((triple10 triple12) -> rule3)) -> rule2))] @3: Gary is big.[(((((((triple10 triple12) -> rule3)) -> rule1) triple11) -> rule5) OR ((((triple12 ((triple10 triple12) -> rule3)) -> rule2) triple11) -> rule5))]