Fiona is blue. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is smart. Harry is blue. Harry is furry. Harry is kind. Harry is quiet. Harry is rough. Harry is round. Harry is smart. If someone is quiet and smart then they are furry. If someone is furry then they are rough. Smart, kind people are rough. All kind, round people are furry. If Harry is blue then Harry is rough. Smart, rough people are kind. Quiet, smart people are blue. If someone is furry and smart then they are round.
Fiona is smart.
@0: Fiona is blue.[(triple1 OR ((triple4 triple7) -> rule7))] Fiona is furry.[(triple2 OR ((triple3 triple6) -> rule4) OR ((triple4 triple7) -> rule1) OR ((((triple7 triple5) -> rule6) triple6) -> rule4))] Fiona is kind.[(triple3 OR ((triple7 triple5) -> rule6) OR ((triple7 ((triple2) -> rule2)) -> rule6) OR ((triple7 ((((triple4 triple7) -> rule1)) -> rule2)) -> rule6))] Fiona is quiet.[(triple4)] Fiona is rough.[(triple5 OR ((triple2) -> rule2) OR ((triple7 triple3) -> rule3) OR ((((triple3 triple6) -> rule4)) -> rule2) OR ((((triple4 triple7) -> rule1)) -> rule2))] Fiona is round.[(triple6 OR ((triple2 triple7) -> rule8) OR ((((triple4 triple7) -> rule1) triple7) -> rule8))] Fiona is smart.[(triple7)] Harry is blue.[(triple8 OR ((triple11 triple14) -> rule7))] Harry is furry.[(triple9 OR ((triple10 triple13) -> rule4) OR ((triple11 triple14) -> rule1) OR ((((triple14 triple12) -> rule6) triple13) -> rule4) OR ((((triple14 ((triple8) -> rule5)) -> rule6) triple13) -> rule4) OR ((((triple14 ((((triple11 triple14) -> rule7)) -> rule5)) -> rule6) triple13) -> rule4))] Harry is kind.[(triple10 OR ((triple14 triple12) -> rule6) OR ((triple14 ((triple8) -> rule5)) -> rule6) OR ((triple14 ((triple9) -> rule2)) -> rule6) OR ((triple14 ((((triple11 triple14) -> rule1)) -> rule2)) -> rule6) OR ((triple14 ((((triple11 triple14) -> rule7)) -> rule5)) -> rule6))] Harry is quiet.[(triple11)] Harry is rough.[(triple12 OR ((triple8) -> rule5) OR ((triple9) -> rule2) OR ((triple14 triple10) -> rule3) OR ((((triple10 triple13) -> rule4)) -> rule2) OR ((((triple11 triple14) -> rule1)) -> rule2) OR ((((triple11 triple14) -> rule7)) -> rule5))] Harry is round.[(triple13 OR ((triple9 triple14) -> rule8) OR ((((triple11 triple14) -> rule1) triple14) -> rule8))] Harry is smart.[(triple14)]