Anne is big. Bob is round. Fiona is white. Harry is round. If Anne is blue and Anne is green then Anne is white. Round, blue people are kind. If someone is red and round then they are big. Round, white people are blue. All green people are round. All big people are white. If someone is big then they are kind. Red, round people are kind.
Anne is big.
@0: Anne is big.[(triple1)] Bob is round.[(triple2)] Fiona is white.[(triple3)] Harry is round.[(triple4)] @1: Anne is kind.[(((triple1) -> rule7))] Anne is white.[(((triple1) -> rule6))]