Bob is furry. Bob is green. Bob is nice. Bob is quiet. Bob is round. Bob is smart. Bob is young. Harry is furry. Harry is green. Harry is nice. Harry is quiet. Harry is round. Harry is smart. Harry is young. If someone is smart and round then they are young. If Bob is nice and Bob is round then Bob is furry. If someone is furry then they are smart. All young people are nice. If Bob is green and Bob is smart then Bob is nice. If someone is furry then they are round.
Harry is round.
@0: Bob is furry.[(triple1 OR ((triple3 triple5) -> rule2) OR ((((triple7) -> rule4) triple5) -> rule2) OR ((((triple2 triple6) -> rule5) triple5) -> rule2) OR ((((((triple6 triple5) -> rule1)) -> rule4) triple5) -> rule2))] Bob is green.[(triple2)] Bob is nice.[(triple3 OR ((triple7) -> rule4) OR ((triple2 triple6) -> rule5) OR ((((triple6 triple5) -> rule1)) -> rule4) OR ((triple2 ((triple1) -> rule3)) -> rule5) OR ((((triple6 ((triple1) -> rule6)) -> rule1)) -> rule4) OR ((((((triple1) -> rule3) triple5) -> rule1)) -> rule4) OR ((((((triple1) -> rule3) ((triple1) -> rule6)) -> rule1)) -> rule4))] Bob is quiet.[(triple4)] Bob is round.[(triple5 OR ((triple1) -> rule6))] Bob is smart.[(triple6 OR ((triple1) -> rule3) OR ((((triple3 triple5) -> rule2)) -> rule3) OR ((((((triple7) -> rule4) triple5) -> rule2)) -> rule3))] Bob is young.[(triple7 OR ((triple6 triple5) -> rule1) OR ((triple6 ((triple1) -> rule6)) -> rule1) OR ((((triple1) -> rule3) triple5) -> rule1) OR ((((triple1) -> rule3) ((triple1) -> rule6)) -> rule1) OR ((((((triple3 triple5) -> rule2)) -> rule3) triple5) -> rule1) OR ((((((triple3 triple5) -> rule2)) -> rule3) ((triple1) -> rule6)) -> rule1))] Harry is furry.[(triple8)] Harry is green.[(triple9)] Harry is nice.[(triple10 OR ((triple14) -> rule4) OR ((((triple13 triple12) -> rule1)) -> rule4) OR ((((triple13 ((triple8) -> rule6)) -> rule1)) -> rule4) OR ((((((triple8) -> rule3) triple12) -> rule1)) -> rule4) OR ((((((triple8) -> rule3) ((triple8) -> rule6)) -> rule1)) -> rule4))] Harry is quiet.[(triple11)] Harry is round.[(triple12 OR ((triple8) -> rule6))] Harry is smart.[(triple13 OR ((triple8) -> rule3))] Harry is young.[(triple14 OR ((triple13 triple12) -> rule1) OR ((triple13 ((triple8) -> rule6)) -> rule1) OR ((((triple8) -> rule3) triple12) -> rule1) OR ((((triple8) -> rule3) ((triple8) -> rule6)) -> rule1))]