Bob is furry. Bob is nice. Bob is round. Dave is big. Dave is nice. Dave is round. Fiona is furry. Fiona is nice. Harry is nice. Harry is rough. Harry is round. Harry is young. All smart people are furry. If Dave is young and Dave is nice then Dave is round. All round, smart people are rough. All rough people are smart. All furry people are young. If someone is round then they are furry. If someone is rough and young then they are big. All round, furry people are rough.
Fiona is round.
@0: Bob is furry.[(triple1 OR ((triple3) -> rule6))] Bob is nice.[(triple2)] Bob is round.[(triple3)] Dave is big.[(triple4 OR ((((triple6 ((triple6) -> rule6)) -> rule8) ((((triple6) -> rule6)) -> rule5)) -> rule7))] Dave is nice.[(triple5)] Dave is round.[(triple6)] Fiona is furry.[(triple7)] Fiona is nice.[(triple8)] Harry is nice.[(triple9)] Harry is rough.[(triple10 OR ((triple11 ((triple11) -> rule6)) -> rule8))] Harry is round.[(triple11)] Harry is young.[(triple12 OR ((((triple11) -> rule6)) -> rule5) OR ((((((triple10) -> rule4)) -> rule1)) -> rule5))] @1: Bob is rough.[(((triple3 triple1) -> rule8) OR ((triple3 ((triple3) -> rule6)) -> rule8))] Bob is young.[(((triple1) -> rule5) OR ((((triple3) -> rule6)) -> rule5))] Dave is furry.[(((triple6) -> rule6))] Fiona is young.[(((triple7) -> rule5))] Harry is big.[(((triple10 triple12) -> rule7) OR ((triple10 ((((triple11) -> rule6)) -> rule5)) -> rule7) OR ((((triple11 ((triple11) -> rule6)) -> rule8) triple12) -> rule7) OR ((((triple11 ((triple11) -> rule6)) -> rule8) ((((triple11) -> rule6)) -> rule5)) -> rule7) OR ((triple10 ((((((triple10) -> rule4)) -> rule1)) -> rule5)) -> rule7) OR ((((triple11 ((triple11) -> rule6)) -> rule8) ((((((triple10) -> rule4)) -> rule1)) -> rule5)) -> rule7))] Harry is furry.[(((triple11) -> rule6) OR ((((triple10) -> rule4)) -> rule1))] Harry is smart.[(((triple10) -> rule4) OR ((((triple11 ((triple11) -> rule6)) -> rule8)) -> rule4))] @2: Bob is big.[(((((triple3 triple1) -> rule8) ((triple1) -> rule5)) -> rule7) OR ((((triple3 triple1) -> rule8) ((((triple3) -> rule6)) -> rule5)) -> rule7) OR ((((triple3 ((triple3) -> rule6)) -> rule8) ((triple1) -> rule5)) -> rule7) OR ((((triple3 ((triple3) -> rule6)) -> rule8) ((((triple3) -> rule6)) -> rule5)) -> rule7))] Bob is smart.[(((((triple3 triple1) -> rule8)) -> rule4) OR ((((triple3 ((triple3) -> rule6)) -> rule8)) -> rule4))] Dave is rough.[(((triple6 ((triple6) -> rule6)) -> rule8))] Dave is young.[(((((triple6) -> rule6)) -> rule5))] @3: Dave is smart.[(((((triple6 ((triple6) -> rule6)) -> rule8)) -> rule4))]