Bob is big. Bob is cold. Bob is nice. Bob is quiet. Bob is red. Bob is round. Dave is red. Dave is young. Fiona is nice. Harry is cold. All big, red people are quiet. If someone is young and red then they are nice. If Harry is quiet and Harry is young then Harry is nice. Round, nice people are quiet. Red people are nice. Big people are nice.
Harry is not quiet.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is nice.[(triple3 OR ((triple1) -> rule6) OR ((triple5) -> rule5))] Bob is quiet.[(triple4 OR ((triple1 triple5) -> rule1) OR ((triple6 triple3) -> rule4) OR ((triple6 ((triple1) -> rule6)) -> rule4) OR ((triple6 ((triple5) -> rule5)) -> rule4))] Bob is red.[(triple5)] Bob is round.[(triple6)] Dave is red.[(triple7)] Dave is young.[(triple8)] Fiona is nice.[(triple9)] Harry is cold.[(triple10)] @1: Dave is nice.[(((triple7) -> rule5) OR ((triple8 triple7) -> rule2))]