Bob is cold. Dave is round. Erin is kind. Gary is big. Young things are nice. Kind things are cold. If something is nice and cold then it is kind. If something is big and round then it is cold. All cold things are young. All cold, smart things are nice. If Erin is young and Erin is nice then Erin is smart. All nice things are round.
Erin is not cold.
@0: Bob is cold.[(triple1)] Dave is round.[(triple2)] Erin is kind.[(triple3)] Gary is big.[(triple4)] @1: Bob is young.[(((triple1) -> rule5))] Erin is cold.[(((triple3) -> rule2))] @2: Bob is nice.[(((((triple1) -> rule5)) -> rule1))] Erin is young.[(((((triple3) -> rule2)) -> rule5))] @3: Bob is kind.[(((((((triple1) -> rule5)) -> rule1) triple1) -> rule3))] Bob is round.[(((((((triple1) -> rule5)) -> rule1)) -> rule8))] Erin is nice.[(((((((triple3) -> rule2)) -> rule5)) -> rule1))] @4: Erin is round.[(((((((((triple3) -> rule2)) -> rule5)) -> rule1)) -> rule8))] Erin is smart.[(((((((triple3) -> rule2)) -> rule5) ((((((triple3) -> rule2)) -> rule5)) -> rule1)) -> rule7))]