Bob is big. Bob is blue. Bob is nice. Bob is quiet. Bob is young. Dave is blue. Dave is kind. Dave is nice. Dave is young. Gary is furry. If Bob is blue then Bob is kind. If Bob is big and Bob is blue then Bob is quiet. If someone is nice then they are blue.
Bob is not big.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple3) -> rule3))] Bob is nice.[(triple3)] Bob is quiet.[(triple4 OR ((triple1 triple2) -> rule2) OR ((triple1 ((triple3) -> rule3)) -> rule2))] Bob is young.[(triple5)] Dave is blue.[(triple6 OR ((triple8) -> rule3))] Dave is kind.[(triple7)] Dave is nice.[(triple8)] Dave is young.[(triple9)] Gary is furry.[(triple10)] @1: Bob is kind.[(((triple2) -> rule1) OR ((((triple3) -> rule3)) -> rule1))]