Bob is big. Bob is furry. Bob is quiet. Bob is rough. Bob is round. Erin is big. Erin is furry. Erin is green. Erin is quiet. Erin is round. Fiona is big. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is red. Fiona is rough. Rough people are round. If Fiona is red and Fiona is green then Fiona is round. If someone is round and furry then they are big. All rough people are furry. If Fiona is green then Fiona is quiet. Green people are rough.
Bob is green.
@0: Bob is big.[(triple1 OR ((triple5 triple2) -> rule3) OR ((triple5 ((triple4) -> rule4)) -> rule3) OR ((((triple4) -> rule1) triple2) -> rule3) OR ((((triple4) -> rule1) ((triple4) -> rule4)) -> rule3))] Bob is furry.[(triple2 OR ((triple4) -> rule4))] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5 OR ((triple4) -> rule1))] Erin is big.[(triple6 OR ((triple10 triple7) -> rule3) OR ((triple10 ((((triple8) -> rule6)) -> rule4)) -> rule3) OR ((((((triple8) -> rule6)) -> rule1) triple7) -> rule3) OR ((((((triple8) -> rule6)) -> rule1) ((((triple8) -> rule6)) -> rule4)) -> rule3))] Erin is furry.[(triple7 OR ((((triple8) -> rule6)) -> rule4))] Erin is green.[(triple8)] Erin is quiet.[(triple9)] Erin is round.[(triple10 OR ((((triple8) -> rule6)) -> rule1))] Fiona is big.[(triple11 OR ((((triple16) -> rule1) triple12) -> rule3) OR ((((triple15 triple13) -> rule2) triple12) -> rule3) OR ((((triple16) -> rule1) ((triple16) -> rule4)) -> rule3) OR ((((triple15 triple13) -> rule2) ((triple16) -> rule4)) -> rule3) OR ((((((triple13) -> rule6)) -> rule1) triple12) -> rule3) OR ((((triple16) -> rule1) ((((triple13) -> rule6)) -> rule4)) -> rule3) OR ((((((triple13) -> rule6)) -> rule1) ((triple16) -> rule4)) -> rule3) OR ((((triple15 triple13) -> rule2) ((((triple13) -> rule6)) -> rule4)) -> rule3) OR ((((((triple13) -> rule6)) -> rule1) ((((triple13) -> rule6)) -> rule4)) -> rule3))] Fiona is furry.[(triple12 OR ((triple16) -> rule4) OR ((((triple13) -> rule6)) -> rule4))] Fiona is green.[(triple13)] Fiona is quiet.[(triple14 OR ((triple13) -> rule5))] Fiona is red.[(triple15)] Fiona is rough.[(triple16 OR ((triple13) -> rule6))] @1: Erin is rough.[(((triple8) -> rule6))] Fiona is round.[(((triple16) -> rule1) OR ((triple15 triple13) -> rule2) OR ((((triple13) -> rule6)) -> rule1))]