Anne is white. Anne is young. Dave is green. Dave is nice. Dave is quiet. Dave is red. Dave is young. Fiona is big. Fiona is green. Fiona is nice. Fiona is white. Fiona is young. All white things are young. Red things are big. All white things are big. If Dave is nice and Dave is big then Dave is quiet. If Anne is red then Anne is nice. If Dave is white and Dave is big then Dave is young. Red, nice things are big. All big, red things are green.
Dave is white.
@0: Anne is white.[(triple1)] Anne is young.[(triple2 OR ((triple1) -> rule1))] Dave is green.[(triple3 OR ((((triple6) -> rule2) triple6) -> rule8) OR ((((triple6 triple4) -> rule7) triple6) -> rule8))] Dave is nice.[(triple4)] Dave is quiet.[(triple5 OR ((triple4 ((triple6) -> rule2)) -> rule4) OR ((triple4 ((triple6 triple4) -> rule7)) -> rule4))] Dave is red.[(triple6)] Dave is young.[(triple7)] Fiona is big.[(triple8 OR ((triple11) -> rule3))] Fiona is green.[(triple9)] Fiona is nice.[(triple10)] Fiona is white.[(triple11)] Fiona is young.[(triple12 OR ((triple11) -> rule1))] @1: Anne is big.[(((triple1) -> rule3))] Dave is big.[(((triple6) -> rule2) OR ((triple6 triple4) -> rule7))]