Dave is furry. Erin is big. Erin is furry. Erin is smart. Fiona is big. Fiona is furry. Fiona is nice. Fiona is round. Fiona is smart. Harry is big. Harry is round. If something is kind then it is big. If Harry is round and Harry is smart then Harry is kind. All round things are nice. All kind, nice things are round. Smart, big things are nice. If something is kind then it is furry. All green things are smart. If something is round then it is nice. All nice, big things are green.
Fiona is not smart.
@0: Dave is furry.[(triple1)] Erin is big.[(triple2)] Erin is furry.[(triple3)] Erin is smart.[(triple4)] Fiona is big.[(triple5)] Fiona is furry.[(triple6)] Fiona is nice.[(triple7 OR ((triple8) -> rule3) OR ((triple8) -> rule8) OR ((triple9 triple5) -> rule5))] Fiona is round.[(triple8)] Fiona is smart.[(triple9 OR ((((triple7 triple5) -> rule9)) -> rule7) OR ((((((triple8) -> rule3) triple5) -> rule9)) -> rule7) OR ((((((triple8) -> rule8) triple5) -> rule9)) -> rule7))] Harry is big.[(triple10)] Harry is round.[(triple11)] @1: Erin is nice.[(((triple4 triple2) -> rule5))] Fiona is green.[(((triple7 triple5) -> rule9) OR ((((triple8) -> rule3) triple5) -> rule9) OR ((((triple8) -> rule8) triple5) -> rule9) OR ((((triple9 triple5) -> rule5) triple5) -> rule9))] Harry is nice.[(((triple11) -> rule3) OR ((triple11) -> rule8))] @2: Erin is green.[(((((triple4 triple2) -> rule5) triple2) -> rule9))] Harry is green.[(((((triple11) -> rule3) triple10) -> rule9) OR ((((triple11) -> rule8) triple10) -> rule9))] @3: Harry is smart.[(((((((triple11) -> rule3) triple10) -> rule9)) -> rule7) OR ((((((triple11) -> rule8) triple10) -> rule9)) -> rule7))] @4: Harry is kind.[(((triple11 ((((((triple11) -> rule3) triple10) -> rule9)) -> rule7)) -> rule2) OR ((triple11 ((((((triple11) -> rule8) triple10) -> rule9)) -> rule7)) -> rule2))] @5: Harry is furry.[(((((triple11 ((((((triple11) -> rule3) triple10) -> rule9)) -> rule7)) -> rule2)) -> rule6) OR ((((triple11 ((((((triple11) -> rule8) triple10) -> rule9)) -> rule7)) -> rule2)) -> rule6))]