Bob is not red. Bob is not rough. Bob is young. Dave is green. Dave is quiet. Dave is red. Dave is rough. Dave is young. Fiona is furry. Fiona is green. Fiona is not quiet. Fiona is rough. Gary is furry. Gary is green. Gary is red. Gary is young. If Bob is furry then Bob is not rough. All kind people are furry. If Dave is green then Dave is kind. Kind people are red. All furry people are young. If someone is green and young then they are kind.
Bob is furry.
@0: Bob is not red.[(triple1)] Bob is not rough.[(triple2)] Bob is young.[(triple3)] Dave is green.[(triple4)] Dave is quiet.[(triple5)] Dave is red.[(triple6 OR ((((triple4) -> rule3)) -> rule4) OR ((((triple4 triple8) -> rule6)) -> rule4))] Dave is rough.[(triple7)] Dave is young.[(triple8 OR ((((((triple4) -> rule3)) -> rule2)) -> rule5))] Fiona is furry.[(triple9)] Fiona is green.[(triple10)] Fiona is not quiet.[(triple11)] Fiona is rough.[(triple12)] Gary is furry.[(triple13 OR ((((triple14 triple16) -> rule6)) -> rule2))] Gary is green.[(triple14)] Gary is red.[(triple15 OR ((((triple14 triple16) -> rule6)) -> rule4) OR ((((triple14 ((triple13) -> rule5)) -> rule6)) -> rule4))] Gary is young.[(triple16 OR ((triple13) -> rule5))] @1: Dave is kind.[(((triple4) -> rule3) OR ((triple4 triple8) -> rule6))] Fiona is young.[(((triple9) -> rule5))] Gary is kind.[(((triple14 triple16) -> rule6) OR ((triple14 ((triple13) -> rule5)) -> rule6))] @2: Dave is furry.[(((((triple4) -> rule3)) -> rule2) OR ((((triple4 triple8) -> rule6)) -> rule2))] Fiona is kind.[(((triple10 ((triple9) -> rule5)) -> rule6))] @3: Fiona is red.[(((((triple10 ((triple9) -> rule5)) -> rule6)) -> rule4))]