Dave is blue. Erin is kind. Erin is rough. Fiona is blue. Fiona is white. Gary is furry. Gary is white. If someone is nice then they are kind. If Erin is blue then Erin is nice. Rough people are blue. If someone is nice and kind then they are round. All round, nice people are rough. If Gary is white then Gary is nice.
Gary is blue.
@0: Dave is blue.[(triple1)] Erin is kind.[(triple2 OR ((((((triple3) -> rule3)) -> rule2)) -> rule1))] Erin is rough.[(triple3)] Fiona is blue.[(triple4)] Fiona is white.[(triple5)] Gary is furry.[(triple6)] Gary is white.[(triple7)] @1: Erin is blue.[(((triple3) -> rule3))] Gary is nice.[(((triple7) -> rule6))] @2: Erin is nice.[(((((triple3) -> rule3)) -> rule2))] Gary is kind.[(((((triple7) -> rule6)) -> rule1))] @3: Erin is round.[(((((((triple3) -> rule3)) -> rule2) triple2) -> rule4) OR ((((((triple3) -> rule3)) -> rule2) ((((((triple3) -> rule3)) -> rule2)) -> rule1)) -> rule4))] Gary is round.[(((((triple7) -> rule6) ((((triple7) -> rule6)) -> rule1)) -> rule4))] @4: Gary is rough.[(((((((triple7) -> rule6) ((((triple7) -> rule6)) -> rule1)) -> rule4) ((triple7) -> rule6)) -> rule5))] @5: Gary is blue.[(((((((((triple7) -> rule6) ((((triple7) -> rule6)) -> rule1)) -> rule4) ((triple7) -> rule6)) -> rule5)) -> rule3))]