Anne is nice. Anne is young. Dave is cold. Dave is smart. Dave is white. Fiona is nice. Fiona is not red. Fiona is young. Gary is cold. Gary is red. If someone is smart then they are green. If someone is green then they are nice. Nice people are young. If someone is white then they are young. If someone is cold then they are white. If someone is green and smart then they are white. All young, red people are smart. If Fiona is red then Fiona is green. If Anne is smart then Anne is not green.
Fiona is not smart.
@0: Anne is nice.[(triple1)] Anne is young.[(triple2 OR ((triple1) -> rule3))] Dave is cold.[(triple3)] Dave is smart.[(triple4)] Dave is white.[(triple5 OR ((triple3) -> rule5) OR ((((triple4) -> rule1) triple4) -> rule6))] Fiona is nice.[(triple6)] Fiona is not red.[(triple7)] Fiona is young.[(triple8 OR ((triple6) -> rule3))] Gary is cold.[(triple9)] Gary is red.[(triple10)] @1: Dave is green.[(((triple4) -> rule1))] Dave is young.[(((triple5) -> rule4) OR ((((triple3) -> rule5)) -> rule4) OR ((((((triple4) -> rule1)) -> rule2)) -> rule3) OR ((((((triple4) -> rule1) triple4) -> rule6)) -> rule4))] Gary is white.[(((triple9) -> rule5))] @2: Dave is nice.[(((((triple4) -> rule1)) -> rule2))] Gary is young.[(((((triple9) -> rule5)) -> rule4))] @3: Gary is smart.[(((((((triple9) -> rule5)) -> rule4) triple10) -> rule7))] @4: Gary is green.[(((((((((triple9) -> rule5)) -> rule4) triple10) -> rule7)) -> rule1))] @5: Gary is nice.[(((((((((((triple9) -> rule5)) -> rule4) triple10) -> rule7)) -> rule1)) -> rule2))]