Bob is big. Bob is smart. Bob is white. Bob is young. Dave is big. Dave is blue. Dave is kind. Dave is nice. Dave is smart. Dave is white. Fiona is white. Fiona is young. Gary is big. Gary is blue. Gary is white. All big things are young. White, young things are kind.
Gary is big.
@0: Bob is big.[(triple1)] Bob is smart.[(triple2)] Bob is white.[(triple3)] Bob is young.[(triple4 OR ((triple1) -> rule1))] Dave is big.[(triple5)] Dave is blue.[(triple6)] Dave is kind.[(triple7 OR ((triple10 ((triple5) -> rule1)) -> rule2))] Dave is nice.[(triple8)] Dave is smart.[(triple9)] Dave is white.[(triple10)] Fiona is white.[(triple11)] Fiona is young.[(triple12)] Gary is big.[(triple13)] Gary is blue.[(triple14)] Gary is white.[(triple15)] @1: Bob is kind.[(((triple3 triple4) -> rule2) OR ((triple3 ((triple1) -> rule1)) -> rule2))] Dave is young.[(((triple5) -> rule1))] Fiona is kind.[(((triple11 triple12) -> rule2))] Gary is young.[(((triple13) -> rule1))] @2: Gary is kind.[(((triple15 ((triple13) -> rule1)) -> rule2))]