Bob is furry. Bob is not green. Bob is kind. Bob is rough. Bob is smart. Erin is furry. Erin is red. Erin is smart. Erin is young. Fiona is furry. Fiona is not rough. Harry is not young. If someone is smart then they are rough. If someone is red and not smart then they are rough. If Erin is green then Erin is not red. Young, rough people are furry. If someone is smart then they are furry. If someone is smart and not green then they are red. If Fiona is young and Fiona is green then Fiona is not red. If someone is smart and not furry then they are kind.
Fiona is smart.
@0: Bob is furry.[(triple1 OR ((triple5) -> rule5))] Bob is kind.[(triple3)] Bob is not green.[(triple2)] Bob is rough.[(triple4 OR ((triple5) -> rule1))] Bob is smart.[(triple5)] Erin is furry.[(triple6 OR ((triple8) -> rule5) OR ((triple9 ((triple8) -> rule1)) -> rule4))] Erin is red.[(triple7)] Erin is smart.[(triple8)] Erin is young.[(triple9)] Fiona is furry.[(triple10)] Fiona is not rough.[(triple11)] Harry is not young.[(triple12)] @1: Bob is red.[(((triple5 triple2) -> rule6))] Erin is rough.[(((triple8) -> rule1))]