Bob is big. Bob is blue. Bob is kind. Bob is quiet. Bob is smart. Bob is white. Dave is blue. Dave is green. Dave is kind. Dave is quiet. Dave is smart. Dave is white. Fiona is blue. Fiona is green. Fiona is quiet. Fiona is white. If something is green and blue then it is kind.
Bob is green.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is kind.[(triple3)] Bob is quiet.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Dave is blue.[(triple7)] Dave is green.[(triple8)] Dave is kind.[(triple9 OR ((triple8 triple7) -> rule1))] Dave is quiet.[(triple10)] Dave is smart.[(triple11)] Dave is white.[(triple12)] Fiona is blue.[(triple13)] Fiona is green.[(triple14)] Fiona is quiet.[(triple15)] Fiona is white.[(triple16)] @1: Fiona is kind.[(((triple14 triple13) -> rule1))]