Bob is blue. Bob is furry. Bob is kind. Bob is round. Bob is young. Dave is blue. Dave is furry. Dave is nice. Erin is blue. Erin is furry. Erin is round. Gary is blue. Gary is kind. Gary is quiet. Gary is round. Gary is young. If someone is round then they are blue. All young people are nice. If someone is furry and round then they are kind.
Dave is young.
@0: Bob is blue.[(triple1 OR ((triple4) -> rule1))] Bob is furry.[(triple2)] Bob is kind.[(triple3 OR ((triple2 triple4) -> rule3))] Bob is round.[(triple4)] Bob is young.[(triple5)] Dave is blue.[(triple6)] Dave is furry.[(triple7)] Dave is nice.[(triple8)] Erin is blue.[(triple9 OR ((triple11) -> rule1))] Erin is furry.[(triple10)] Erin is round.[(triple11)] Gary is blue.[(triple12 OR ((triple15) -> rule1))] Gary is kind.[(triple13)] Gary is quiet.[(triple14)] Gary is round.[(triple15)] Gary is young.[(triple16)] @1: Bob is nice.[(((triple5) -> rule2))] Erin is kind.[(((triple10 triple11) -> rule3))] Gary is nice.[(((triple16) -> rule2))]