Bob is big. Bob is cold. Bob is furry. Bob is rough. Dave is kind. Dave is rough. Dave is young. Fiona is big. Fiona is cold. Fiona is furry. Fiona is rough. Fiona is young. Harry is furry. Harry is not kind. Harry is rough. Harry is not young. If someone is rough and kind then they are furry. If someone is round and not big then they are furry. Big, rough people are furry. All cold people are rough. If Dave is rough and Dave is not big then Dave is cold. All cold, big people are kind. All furry people are cold. If Bob is round and Bob is rough then Bob is young.
Dave is kind.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple3) -> rule7) OR ((((triple1 triple4) -> rule3)) -> rule7))] Bob is furry.[(triple3 OR ((triple1 triple4) -> rule3) OR ((triple1 ((triple2) -> rule4)) -> rule3) OR ((triple4 ((triple2 triple1) -> rule6)) -> rule1) OR ((((triple2) -> rule4) ((triple2 triple1) -> rule6)) -> rule1))] Bob is rough.[(triple4 OR ((triple2) -> rule4) OR ((((triple3) -> rule7)) -> rule4))] Dave is kind.[(triple5)] Dave is rough.[(triple6)] Dave is young.[(triple7)] Fiona is big.[(triple8)] Fiona is cold.[(triple9 OR ((triple10) -> rule7) OR ((((triple8 triple11) -> rule3)) -> rule7))] Fiona is furry.[(triple10 OR ((triple8 triple11) -> rule3) OR ((triple11 ((triple9 triple8) -> rule6)) -> rule1) OR ((triple8 ((triple9) -> rule4)) -> rule3) OR ((((triple9) -> rule4) ((triple9 triple8) -> rule6)) -> rule1))] Fiona is rough.[(triple11 OR ((triple9) -> rule4) OR ((((triple10) -> rule7)) -> rule4))] Fiona is young.[(triple12)] Harry is furry.[(triple13)] Harry is not kind.[(triple14)] Harry is not young.[(triple16)] Harry is rough.[(triple15 OR ((((triple13) -> rule7)) -> rule4))] @1: Bob is kind.[(((triple2 triple1) -> rule6) OR ((((triple3) -> rule7) triple1) -> rule6) OR ((((((triple1 triple4) -> rule3)) -> rule7) triple1) -> rule6))] Dave is furry.[(((triple6 triple5) -> rule1))] Fiona is kind.[(((triple9 triple8) -> rule6) OR ((((triple10) -> rule7) triple8) -> rule6) OR ((((((triple8 triple11) -> rule3)) -> rule7) triple8) -> rule6))] Harry is cold.[(((triple13) -> rule7))] @2: Dave is cold.[(((((triple6 triple5) -> rule1)) -> rule7))]