Bob is big. Bob is green. Bob is not nice. Dave is not big. Dave is furry. Dave is not green. Dave is not kind. Dave is not nice. Dave is white. Dave is young. Fiona is big. Fiona is nice. Fiona is white. Gary is kind. Gary is nice. Gary is young. All kind, young things are white. Green, young things are kind. All green things are young. If something is green and not big then it is furry. If Fiona is not big then Fiona is green. If something is young and not kind then it is not nice.
Dave is kind.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is not nice.[(triple3)] Dave is furry.[(triple5)] Dave is not big.[(triple4)] Dave is not green.[(triple6)] Dave is not kind.[(triple7)] Dave is not nice.[(triple8 OR ((triple10 triple7) -> rule6))] Dave is white.[(triple9)] Dave is young.[(triple10)] Fiona is big.[(triple11)] Fiona is nice.[(triple12)] Fiona is white.[(triple13)] Gary is kind.[(triple14)] Gary is nice.[(triple15)] Gary is young.[(triple16)] @1: Bob is young.[(((triple2) -> rule3))] Gary is white.[(((triple14 triple16) -> rule1))] @2: Bob is kind.[(((triple2 ((triple2) -> rule3)) -> rule2))] @3: Bob is white.[(((((triple2 ((triple2) -> rule3)) -> rule2) ((triple2) -> rule3)) -> rule1))]