Anne is green. Anne is kind. Bob is furry. Bob is green. Bob is nice. Bob is quiet. Bob is round. Bob is young. Dave is furry. Dave is kind. Dave is nice. Gary is kind. Gary is nice. Gary is round. Gary is young. If someone is young then they are green. Nice, kind people are furry. If Dave is furry then Dave is young. If someone is quiet and round then they are green. If someone is young then they are kind. If Anne is green then Anne is kind. If someone is kind and green then they are young. All young, nice people are green.
Anne is round.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2 OR ((triple1) -> rule6))] Bob is furry.[(triple3 OR ((triple5 ((triple8) -> rule5)) -> rule2))] Bob is green.[(triple4 OR ((triple8) -> rule1) OR ((triple6 triple7) -> rule4) OR ((triple8 triple5) -> rule8))] Bob is nice.[(triple5)] Bob is quiet.[(triple6)] Bob is round.[(triple7)] Bob is young.[(triple8)] Dave is furry.[(triple9 OR ((triple11 triple10) -> rule2))] Dave is kind.[(triple10 OR ((((triple9) -> rule3)) -> rule5))] Dave is nice.[(triple11)] Gary is kind.[(triple12 OR ((triple15) -> rule5))] Gary is nice.[(triple13)] Gary is round.[(triple14)] Gary is young.[(triple15)] @1: Anne is young.[(((triple2 triple1) -> rule7) OR ((((triple1) -> rule6) triple1) -> rule7))] Bob is kind.[(((triple8) -> rule5))] Dave is young.[(((triple9) -> rule3) OR ((((triple11 triple10) -> rule2)) -> rule3))] Gary is furry.[(((triple13 triple12) -> rule2) OR ((triple13 ((triple15) -> rule5)) -> rule2))] Gary is green.[(((triple15) -> rule1) OR ((triple15 triple13) -> rule8))] @2: Dave is green.[(((((triple9) -> rule3)) -> rule1) OR ((((triple9) -> rule3) triple11) -> rule8) OR ((((((triple11 triple10) -> rule2)) -> rule3)) -> rule1) OR ((((((triple11 triple10) -> rule2)) -> rule3) triple11) -> rule8))]