Anne is blue. Anne is nice. Anne is quiet. Anne is white. Bob is cold. Bob is kind. Bob is quiet. Erin is cold. Erin is kind. Erin is nice. Erin is quiet. Erin is white. Gary is cold. Gary is quiet. Gary is red. If Bob is red and Bob is cold then Bob is nice. All kind people are white. Quiet, white people are red.
Erin is blue.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Anne is white.[(triple4)] Bob is cold.[(triple5)] Bob is kind.[(triple6)] Bob is quiet.[(triple7)] Erin is cold.[(triple8)] Erin is kind.[(triple9)] Erin is nice.[(triple10)] Erin is quiet.[(triple11)] Erin is white.[(triple12 OR ((triple9) -> rule2))] Gary is cold.[(triple13)] Gary is quiet.[(triple14)] Gary is red.[(triple15)] @1: Anne is red.[(((triple3 triple4) -> rule3))] Bob is white.[(((triple6) -> rule2))] Erin is red.[(((triple11 triple12) -> rule3) OR ((triple11 ((triple9) -> rule2)) -> rule3))] @2: Bob is red.[(((triple7 ((triple6) -> rule2)) -> rule3))] @3: Bob is nice.[(((((triple7 ((triple6) -> rule2)) -> rule3) triple5) -> rule1))]