Bob is furry. Bob is kind. Bob is red. Bob is young. Charlie is kind. Charlie is red. Erin is furry. Erin is young. Gary is cold. Gary is young. Furry, kind people are white. Cold, young people are kind. All kind, young people are furry. Furry people are young. White people are kind. If someone is furry then they are cold.
Gary is not kind.
@0: Bob is furry.[(triple1 OR ((triple2 triple4) -> rule3))] Bob is kind.[(triple2 OR ((((triple1) -> rule6) triple4) -> rule2) OR ((((triple1) -> rule6) ((triple1) -> rule4)) -> rule2))] Bob is red.[(triple3)] Bob is young.[(triple4 OR ((triple1) -> rule4))] Charlie is kind.[(triple5)] Charlie is red.[(triple6)] Erin is furry.[(triple7)] Erin is young.[(triple8 OR ((triple7) -> rule4))] Gary is cold.[(triple9)] Gary is young.[(triple10)] @1: Bob is cold.[(((triple1) -> rule6) OR ((((triple2 triple4) -> rule3)) -> rule6))] Bob is white.[(((triple1 triple2) -> rule1) OR ((((triple2 triple4) -> rule3) triple2) -> rule1) OR ((triple1 ((((triple1) -> rule6) triple4) -> rule2)) -> rule1) OR ((triple1 ((((triple1) -> rule6) ((triple1) -> rule4)) -> rule2)) -> rule1) OR ((((triple2 triple4) -> rule3) ((((triple1) -> rule6) triple4) -> rule2)) -> rule1) OR ((((triple2 triple4) -> rule3) ((((triple1) -> rule6) ((triple1) -> rule4)) -> rule2)) -> rule1))] Erin is cold.[(((triple7) -> rule6))] Gary is kind.[(((triple9 triple10) -> rule2))] @2: Erin is kind.[(((((triple7) -> rule6) triple8) -> rule2) OR ((((triple7) -> rule6) ((triple7) -> rule4)) -> rule2))] Gary is furry.[(((((triple9 triple10) -> rule2) triple10) -> rule3))] @3: Erin is white.[(((triple7 ((((triple7) -> rule6) triple8) -> rule2)) -> rule1) OR ((triple7 ((((triple7) -> rule6) ((triple7) -> rule4)) -> rule2)) -> rule1))] Gary is white.[(((((((triple9 triple10) -> rule2) triple10) -> rule3) ((triple9 triple10) -> rule2)) -> rule1))]