Charlie is big. Charlie is furry. Charlie is green. Charlie is kind. Fiona is furry. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is round. Fiona is smart. If something is kind and green then it is furry. All smart things are quiet. If something is kind then it is smart. All round things are big. Kind things are furry. Furry things are quiet. If something is furry and round then it is big. If Fiona is green then Fiona is furry.
Charlie is big.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2 OR ((triple4) -> rule5) OR ((triple4 triple3) -> rule1))] Charlie is green.[(triple3)] Charlie is kind.[(triple4)] Fiona is furry.[(triple5 OR ((triple6) -> rule8) OR ((triple7) -> rule5) OR ((triple7 triple6) -> rule1))] Fiona is green.[(triple6)] Fiona is kind.[(triple7)] Fiona is quiet.[(triple8 OR ((triple10) -> rule2) OR ((triple5) -> rule6) OR ((((triple6) -> rule8)) -> rule6) OR ((((triple7) -> rule3)) -> rule2) OR ((((triple7) -> rule5)) -> rule6) OR ((((triple7 triple6) -> rule1)) -> rule6))] Fiona is round.[(triple9)] Fiona is smart.[(triple10 OR ((triple7) -> rule3))] @1: Charlie is quiet.[(((triple2) -> rule6) OR ((((triple4) -> rule3)) -> rule2) OR ((((triple4) -> rule5)) -> rule6) OR ((((triple4 triple3) -> rule1)) -> rule6))] Charlie is smart.[(((triple4) -> rule3))] Fiona is big.[(((triple9) -> rule4) OR ((triple5 triple9) -> rule7) OR ((((triple6) -> rule8) triple9) -> rule7) OR ((((triple7) -> rule5) triple9) -> rule7) OR ((((triple7 triple6) -> rule1) triple9) -> rule7))]