Charlie is blue. Charlie is quiet. Dave is blue. Dave is cold. Dave is young. Erin is blue. Erin is quiet. Erin is white. Erin is young. Gary is cold. Gary is quiet. Gary is young. All quiet things are furry. If Charlie is cold then Charlie is young. White things are cold. All young things are nice. If Gary is nice then Gary is young. If something is young then it is nice. If something is furry and blue then it is white. If something is young and furry then it is nice.
Charlie is young.
@0: Charlie is blue.[(triple1)] Charlie is quiet.[(triple2)] Dave is blue.[(triple3)] Dave is cold.[(triple4)] Dave is young.[(triple5)] Erin is blue.[(triple6)] Erin is quiet.[(triple7)] Erin is white.[(triple8 OR ((((triple7) -> rule1) triple6) -> rule7))] Erin is young.[(triple9)] Gary is cold.[(triple10)] Gary is quiet.[(triple11)] Gary is young.[(triple12)] @1: Charlie is furry.[(((triple2) -> rule1))] Dave is nice.[(((triple5) -> rule4) OR ((triple5) -> rule6))] Erin is cold.[(((triple8) -> rule3) OR ((((((triple7) -> rule1) triple6) -> rule7)) -> rule3))] Erin is furry.[(((triple7) -> rule1))] Erin is nice.[(((triple9) -> rule4) OR ((triple9) -> rule6) OR ((triple9 ((triple7) -> rule1)) -> rule8))] Gary is furry.[(((triple11) -> rule1))] Gary is nice.[(((triple12) -> rule4) OR ((triple12) -> rule6) OR ((triple12 ((triple11) -> rule1)) -> rule8))] @2: Charlie is white.[(((((triple2) -> rule1) triple1) -> rule7))] @3: Charlie is cold.[(((((((triple2) -> rule1) triple1) -> rule7)) -> rule3))] @4: Charlie is young.[(((((((((triple2) -> rule1) triple1) -> rule7)) -> rule3)) -> rule2))] @5: Charlie is nice.[(((((((((((triple2) -> rule1) triple1) -> rule7)) -> rule3)) -> rule2)) -> rule4) OR ((((((((((triple2) -> rule1) triple1) -> rule7)) -> rule3)) -> rule2)) -> rule6) OR ((((((((((triple2) -> rule1) triple1) -> rule7)) -> rule3)) -> rule2) ((triple2) -> rule1)) -> rule8))]