Anne is not cold. Bob is cold. Charlie is not nice. Fiona is blue. If someone is young and not red then they are not big. All cold people are big. Blue people are big. If someone is big then they are young. If Charlie is young and Charlie is not cold then Charlie is big. Young people are furry.
Anne is not young.
@0: Anne is not cold.[(triple1)] Bob is cold.[(triple2)] Charlie is not nice.[(triple3)] Fiona is blue.[(triple4)] @1: Bob is big.[(((triple2) -> rule2))] Fiona is big.[(((triple4) -> rule3))] @2: Bob is young.[(((((triple2) -> rule2)) -> rule4))] Fiona is young.[(((((triple4) -> rule3)) -> rule4))] @3: Bob is furry.[(((((((triple2) -> rule2)) -> rule4)) -> rule6))] Fiona is furry.[(((((((triple4) -> rule3)) -> rule4)) -> rule6))]