Anne is furry. Anne is rough. Bob is furry. Bob is red. Bob is rough. Bob is young. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is young. Harry is furry. Harry is young. If something is big and rough then it is young. If something is furry then it is big. If Harry is rough and Harry is red then Harry is young. Kind things are nice. If something is nice and rough then it is big. All young, furry things are red. If Bob is rough then Bob is kind. Red things are big.
Harry is kind.
@0: Anne is furry.[(triple1)] Anne is rough.[(triple2)] Bob is furry.[(triple3)] Bob is red.[(triple4 OR ((triple6 triple3) -> rule6) OR ((((((triple3) -> rule2) triple5) -> rule1) triple3) -> rule6) OR ((((((((((triple5) -> rule7)) -> rule4) triple5) -> rule5) triple5) -> rule1) triple3) -> rule6))] Bob is rough.[(triple5)] Bob is young.[(triple6 OR ((((triple3) -> rule2) triple5) -> rule1) OR ((((triple4) -> rule8) triple5) -> rule1) OR ((((((((triple5) -> rule7)) -> rule4) triple5) -> rule5) triple5) -> rule1))] Fiona is kind.[(triple7)] Fiona is nice.[(triple8 OR ((triple7) -> rule4))] Fiona is rough.[(triple9)] Fiona is young.[(triple10 OR ((((triple8 triple9) -> rule5) triple9) -> rule1) OR ((((((triple7) -> rule4) triple9) -> rule5) triple9) -> rule1))] Harry is furry.[(triple11)] Harry is young.[(triple12)] @1: Anne is big.[(((triple1) -> rule2))] Bob is big.[(((triple3) -> rule2) OR ((triple4) -> rule8) OR ((((triple6 triple3) -> rule6)) -> rule8) OR ((((((triple5) -> rule7)) -> rule4) triple5) -> rule5))] Bob is kind.[(((triple5) -> rule7))] Fiona is big.[(((triple8 triple9) -> rule5) OR ((((triple7) -> rule4) triple9) -> rule5))] Harry is big.[(((triple11) -> rule2) OR ((((triple12 triple11) -> rule6)) -> rule8))] Harry is red.[(((triple12 triple11) -> rule6))] @2: Anne is young.[(((((triple1) -> rule2) triple2) -> rule1))] Bob is nice.[(((((triple5) -> rule7)) -> rule4))] @3: Anne is red.[(((((((triple1) -> rule2) triple2) -> rule1) triple1) -> rule6))]