Charlie is blue. Charlie is kind. Dave is round. Fiona is big. Fiona is blue. Fiona is round. Gary is cold. If someone is white then they are not big. Round people are big. Kind people are not rough. If someone is rough and big then they are round. Blue people are kind. If someone is cold then they are blue. All white people are blue. Big people are cold. If Charlie is blue and Charlie is cold then Charlie is white.
Gary is kind.
@0: Charlie is blue.[(triple1)] Charlie is kind.[(triple2 OR ((triple1) -> rule5))] Dave is round.[(triple3)] Fiona is big.[(triple4 OR ((triple6) -> rule2))] Fiona is blue.[(triple5 OR ((((triple4) -> rule8)) -> rule6) OR ((((((triple6) -> rule2)) -> rule8)) -> rule6))] Fiona is round.[(triple6)] Gary is cold.[(triple7)] @1: Charlie is not rough.[(((triple2) -> rule3) OR ((((triple1) -> rule5)) -> rule3))] Dave is big.[(((triple3) -> rule2))] Fiona is cold.[(((triple4) -> rule8) OR ((((triple6) -> rule2)) -> rule8))] Fiona is kind.[(((triple5) -> rule5) OR ((((((triple4) -> rule8)) -> rule6)) -> rule5) OR ((((((((triple6) -> rule2)) -> rule8)) -> rule6)) -> rule5))] Gary is blue.[(((triple7) -> rule6))] @2: Dave is cold.[(((((triple3) -> rule2)) -> rule8))] Fiona is not rough.[(((((triple5) -> rule5)) -> rule3) OR ((((((((triple4) -> rule8)) -> rule6)) -> rule5)) -> rule3) OR ((((((((((triple6) -> rule2)) -> rule8)) -> rule6)) -> rule5)) -> rule3))] Gary is kind.[(((((triple7) -> rule6)) -> rule5))] @3: Dave is blue.[(((((((triple3) -> rule2)) -> rule8)) -> rule6))] Gary is not rough.[(((((((triple7) -> rule6)) -> rule5)) -> rule3))] @4: Dave is kind.[(((((((((triple3) -> rule2)) -> rule8)) -> rule6)) -> rule5))] @5: Dave is not rough.[(((((((((((triple3) -> rule2)) -> rule8)) -> rule6)) -> rule5)) -> rule3))]