Charlie is kind. Charlie is nice. Charlie is quiet. Dave is rough. Dave is white. Erin is nice. Gary is not white. If something is cold then it is not furry. If Charlie is quiet then Charlie is nice. Kind things are white. Nice things are kind. If something is rough then it is kind. Cold, quiet things are rough. All cold things are quiet. If something is white and nice then it is cold. If Erin is cold then Erin is nice.
Gary is kind.
@0: Charlie is kind.[(triple1 OR ((triple2) -> rule4) OR ((((triple3) -> rule2)) -> rule4))] Charlie is nice.[(triple2 OR ((triple3) -> rule2))] Charlie is quiet.[(triple3 OR ((((((triple1) -> rule3) triple2) -> rule8)) -> rule7) OR ((((((((triple2) -> rule4)) -> rule3) triple2) -> rule8)) -> rule7))] Dave is rough.[(triple4)] Dave is white.[(triple5 OR ((((triple4) -> rule5)) -> rule3))] Erin is nice.[(triple6)] Gary is not white.[(triple7)] @1: Charlie is white.[(((triple1) -> rule3) OR ((((triple2) -> rule4)) -> rule3) OR ((((((triple3) -> rule2)) -> rule4)) -> rule3))] Dave is kind.[(((triple4) -> rule5))] Erin is kind.[(((triple6) -> rule4))] @2: Charlie is cold.[(((((triple1) -> rule3) triple2) -> rule8) OR ((((triple1) -> rule3) ((triple3) -> rule2)) -> rule8) OR ((((((triple2) -> rule4)) -> rule3) triple2) -> rule8) OR ((((((triple2) -> rule4)) -> rule3) ((triple3) -> rule2)) -> rule8) OR ((((((((triple3) -> rule2)) -> rule4)) -> rule3) triple2) -> rule8) OR ((((((((triple3) -> rule2)) -> rule4)) -> rule3) ((triple3) -> rule2)) -> rule8))] Erin is white.[(((((triple6) -> rule4)) -> rule3))] @3: Charlie is not furry.[(((((((triple1) -> rule3) triple2) -> rule8)) -> rule1) OR ((((((triple1) -> rule3) ((triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple2) -> rule4)) -> rule3) triple2) -> rule8)) -> rule1) OR ((((((((triple2) -> rule4)) -> rule3) ((triple3) -> rule2)) -> rule8)) -> rule1) OR ((((((((((triple3) -> rule2)) -> rule4)) -> rule3) triple2) -> rule8)) -> rule1) OR ((((((((((triple3) -> rule2)) -> rule4)) -> rule3) ((triple3) -> rule2)) -> rule8)) -> rule1))] Charlie is rough.[(((((((triple1) -> rule3) triple2) -> rule8) triple3) -> rule6) OR ((((((triple1) -> rule3) ((triple3) -> rule2)) -> rule8) triple3) -> rule6) OR ((((((((triple2) -> rule4)) -> rule3) triple2) -> rule8) triple3) -> rule6) OR ((((((((triple2) -> rule4)) -> rule3) ((triple3) -> rule2)) -> rule8) triple3) -> rule6) OR ((((((triple1) -> rule3) triple2) -> rule8) ((((((triple1) -> rule3) triple2) -> rule8)) -> rule7)) -> rule6) OR ((((((triple1) -> rule3) ((triple3) -> rule2)) -> rule8) ((((((triple1) -> rule3) triple2) -> rule8)) -> rule7)) -> rule6) OR ((((((((triple2) -> rule4)) -> rule3) triple2) -> rule8) ((((((triple1) -> rule3) triple2) -> rule8)) -> rule7)) -> rule6) OR ((((((((triple2) -> rule4)) -> rule3) ((triple3) -> rule2)) -> rule8) ((((((triple1) -> rule3) triple2) -> rule8)) -> rule7)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule4)) -> rule3) triple2) -> rule8) triple3) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule4)) -> rule3) ((triple3) -> rule2)) -> rule8) triple3) -> rule6) OR ((((((triple1) -> rule3) triple2) -> rule8) ((((((((triple2) -> rule4)) -> rule3) triple2) -> rule8)) -> rule7)) -> rule6) OR ((((((triple1) -> rule3) ((triple3) -> rule2)) -> rule8) ((((((((triple2) -> rule4)) -> rule3) triple2) -> rule8)) -> rule7)) -> rule6) OR ((((((((triple2) -> rule4)) -> rule3) triple2) -> rule8) ((((((((triple2) -> rule4)) -> rule3) triple2) -> rule8)) -> rule7)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule4)) -> rule3) triple2) -> rule8) ((((((triple1) -> rule3) triple2) -> rule8)) -> rule7)) -> rule6) OR ((((((((triple2) -> rule4)) -> rule3) ((triple3) -> rule2)) -> rule8) ((((((((triple2) -> rule4)) -> rule3) triple2) -> rule8)) -> rule7)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule4)) -> rule3) triple2) -> rule8) ((((((((triple2) -> rule4)) -> rule3) triple2) -> rule8)) -> rule7)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule4)) -> rule3) ((triple3) -> rule2)) -> rule8) ((((((triple1) -> rule3) triple2) -> rule8)) -> rule7)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule4)) -> rule3) ((triple3) -> rule2)) -> rule8) ((((((((triple2) -> rule4)) -> rule3) triple2) -> rule8)) -> rule7)) -> rule6))] Erin is cold.[(((((((triple6) -> rule4)) -> rule3) triple6) -> rule8))] @4: Erin is not furry.[(((((((((triple6) -> rule4)) -> rule3) triple6) -> rule8)) -> rule1))] Erin is quiet.[(((((((((triple6) -> rule4)) -> rule3) triple6) -> rule8)) -> rule7))] @5: Erin is rough.[(((((((((triple6) -> rule4)) -> rule3) triple6) -> rule8) ((((((((triple6) -> rule4)) -> rule3) triple6) -> rule8)) -> rule7)) -> rule6))]