Bob is big. Bob is furry. Bob is green. Bob is kind. Bob is quiet. Bob is round. Erin is furry. Erin is quiet. Fiona is big. Fiona is green. Harry is blue. Harry is green. Harry is kind. Harry is quiet. Harry is round. If someone is round then they are kind. If Erin is big then Erin is blue. Furry, quiet people are round. If someone is green and quiet then they are furry. All big, blue people are round. All quiet, green people are round. If someone is kind then they are furry. If Erin is blue and Erin is kind then Erin is furry.
Harry is not round.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2 OR ((triple4) -> rule7) OR ((triple3 triple5) -> rule4) OR ((((triple6) -> rule1)) -> rule7) OR ((((((triple5 triple3) -> rule6)) -> rule1)) -> rule7))] Bob is green.[(triple3)] Bob is kind.[(triple4 OR ((triple6) -> rule1) OR ((((triple2 triple5) -> rule3)) -> rule1) OR ((((triple5 triple3) -> rule6)) -> rule1) OR ((((((triple3 triple5) -> rule4) triple5) -> rule3)) -> rule1))] Bob is quiet.[(triple5)] Bob is round.[(triple6 OR ((triple2 triple5) -> rule3) OR ((triple5 triple3) -> rule6) OR ((((triple4) -> rule7) triple5) -> rule3) OR ((((triple3 triple5) -> rule4) triple5) -> rule3))] Erin is furry.[(triple7)] Erin is quiet.[(triple8)] Fiona is big.[(triple9)] Fiona is green.[(triple10)] Harry is blue.[(triple11)] Harry is green.[(triple12)] Harry is kind.[(triple13 OR ((triple15) -> rule1) OR ((((triple14 triple12) -> rule6)) -> rule1) OR ((((((triple12 triple14) -> rule4) triple14) -> rule3)) -> rule1))] Harry is quiet.[(triple14)] Harry is round.[(triple15 OR ((triple14 triple12) -> rule6) OR ((((triple13) -> rule7) triple14) -> rule3) OR ((((triple12 triple14) -> rule4) triple14) -> rule3))] @1: Erin is round.[(((triple7 triple8) -> rule3))] Harry is furry.[(((triple13) -> rule7) OR ((triple12 triple14) -> rule4) OR ((((triple15) -> rule1)) -> rule7) OR ((((((triple14 triple12) -> rule6)) -> rule1)) -> rule7))] @2: Erin is kind.[(((((triple7 triple8) -> rule3)) -> rule1))]