Anne is not big. Anne is not cold. Anne is green. Anne is kind. Dave is big. Dave is green. Dave is kind. Dave is smart. Dave is young. Fiona is big. Fiona is green. Fiona is kind. Fiona is red. Fiona is smart. Fiona is young. If something is kind and not young then it is cold. Big things are cold. Cold, young things are smart. All red, green things are smart. If Fiona is young then Fiona is smart. If something is smart and not green then it is not big. If something is young and smart then it is kind. If something is young and not red then it is not kind.
Dave is red.
@0: Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is not big.[(triple1)] Anne is not cold.[(triple2)] Dave is big.[(triple5)] Dave is green.[(triple6)] Dave is kind.[(triple7 OR ((triple9 triple8) -> rule7) OR ((triple9 ((((triple5) -> rule2) triple9) -> rule3)) -> rule7))] Dave is smart.[(triple8 OR ((((triple5) -> rule2) triple9) -> rule3))] Dave is young.[(triple9)] Fiona is big.[(triple10)] Fiona is green.[(triple11)] Fiona is kind.[(triple12 OR ((triple15 triple14) -> rule7) OR ((triple15 ((triple15) -> rule5)) -> rule7) OR ((triple15 ((triple13 triple11) -> rule4)) -> rule7) OR ((triple15 ((((triple10) -> rule2) triple15) -> rule3)) -> rule7))] Fiona is red.[(triple13)] Fiona is smart.[(triple14 OR ((triple15) -> rule5) OR ((triple13 triple11) -> rule4) OR ((((triple10) -> rule2) triple15) -> rule3))] Fiona is young.[(triple15)] @1: Dave is cold.[(((triple5) -> rule2))] Fiona is cold.[(((triple10) -> rule2))]