Charlie is quiet. Charlie is young. Dave is cold. Dave is quiet. Dave is young. Erin is quiet. Erin is young. If Charlie is quiet and Charlie is nice then Charlie is smart. All young things are big. If something is cold then it is quiet. If something is red and not nice then it is smart. If something is big then it is smart. Nice, young things are cold. If something is young then it is cold. If Erin is red and Erin is young then Erin is big.
Charlie is red.
@0: Charlie is quiet.[(triple1 OR ((((triple2) -> rule7)) -> rule3))] Charlie is young.[(triple2)] Dave is cold.[(triple3 OR ((triple5) -> rule7))] Dave is quiet.[(triple4 OR ((triple3) -> rule3) OR ((((triple5) -> rule7)) -> rule3))] Dave is young.[(triple5)] Erin is quiet.[(triple6 OR ((((triple7) -> rule7)) -> rule3))] Erin is young.[(triple7)] @1: Charlie is big.[(((triple2) -> rule2))] Charlie is cold.[(((triple2) -> rule7))] Dave is big.[(((triple5) -> rule2))] Erin is big.[(((triple7) -> rule2))] Erin is cold.[(((triple7) -> rule7))] @2: Charlie is smart.[(((((triple2) -> rule2)) -> rule5))] Dave is smart.[(((((triple5) -> rule2)) -> rule5))] Erin is smart.[(((((triple7) -> rule2)) -> rule5))]