Anne is kind. Anne is white. Anne is young. Dave is kind. Dave is red. Dave is white. Dave is not young. Fiona is big. Fiona is kind. Fiona is white. Gary is big. Gary is nice. Big things are young. If something is kind and not big then it is smart. If Fiona is big and Fiona is not smart then Fiona is red. All nice, kind things are white. If something is young and not kind then it is white. If Gary is kind and Gary is not smart then Gary is not young. Big, young things are nice. Kind, big things are nice.
Gary is nice.
@0: Anne is kind.[(triple1)] Anne is white.[(triple2)] Anne is young.[(triple3)] Dave is kind.[(triple4)] Dave is not young.[(triple7)] Dave is red.[(triple5)] Dave is white.[(triple6)] Fiona is big.[(triple8)] Fiona is kind.[(triple9)] Fiona is white.[(triple10 OR ((((triple9 triple8) -> rule8) triple9) -> rule4) OR ((((triple8 ((triple8) -> rule1)) -> rule7) triple9) -> rule4))] Gary is big.[(triple11)] Gary is nice.[(triple12 OR ((triple11 ((triple11) -> rule1)) -> rule7))] @1: Fiona is nice.[(((triple9 triple8) -> rule8) OR ((triple8 ((triple8) -> rule1)) -> rule7))] Fiona is young.[(((triple8) -> rule1))] Gary is young.[(((triple11) -> rule1))]