Anne is nice. Anne is white. Bob is green. Bob is nice. Bob is red. Bob is rough. Bob is young. Dave is nice. Fiona is round. Fiona is white. If Anne is nice and Anne is white then Anne is red. All red people are white. If Fiona is young then Fiona is nice.
Anne is rough.
@0: Anne is nice.[(triple1)] Anne is white.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple4)] Bob is red.[(triple5)] Bob is rough.[(triple6)] Bob is young.[(triple7)] Dave is nice.[(triple8)] Fiona is round.[(triple9)] Fiona is white.[(triple10)] @1: Anne is red.[(((triple1 triple2) -> rule1))] Bob is white.[(((triple5) -> rule2))]