Anne is cold. Anne is quiet. Charlie is young. Dave is big. Dave is green. Dave is nice. Dave is quiet. Dave is red. Fiona is big. Fiona is green. If Anne is young and Anne is cold then Anne is big. Cold people are red. Cold people are young. If someone is nice and young then they are big. If someone is green and big then they are nice. If someone is cold then they are quiet. All nice, young people are quiet. If Charlie is nice then Charlie is red.
Fiona is cold.
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2 OR ((triple1) -> rule6))] Charlie is young.[(triple3)] Dave is big.[(triple4)] Dave is green.[(triple5)] Dave is nice.[(triple6 OR ((triple5 triple4) -> rule5))] Dave is quiet.[(triple7)] Dave is red.[(triple8)] Fiona is big.[(triple9)] Fiona is green.[(triple10)] @1: Anne is red.[(((triple1) -> rule2))] Anne is young.[(((triple1) -> rule3))] Fiona is nice.[(((triple10 triple9) -> rule5))] @2: Anne is big.[(((((triple1) -> rule3) triple1) -> rule1))]