Bob is big. Bob is quiet. Bob is red. Bob is rough. Bob is young. Charlie is big. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is young. Fiona is big. Fiona is furry. Fiona is red. If Bob is kind and Bob is rough then Bob is furry. All big, kind people are rough. All kind people are big. If Fiona is furry then Fiona is young. All young, furry people are kind. Rough, red people are kind.
Fiona is not rough.
@0: Bob is big.[(triple1 OR ((((triple4 triple3) -> rule6)) -> rule3))] Bob is quiet.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Bob is young.[(triple5)] Charlie is big.[(triple6 OR ((triple8) -> rule3) OR ((((triple11 triple10) -> rule6)) -> rule3) OR ((((triple12 triple7) -> rule5)) -> rule3))] Charlie is furry.[(triple7)] Charlie is kind.[(triple8 OR ((triple11 triple10) -> rule6) OR ((triple12 triple7) -> rule5))] Charlie is quiet.[(triple9)] Charlie is red.[(triple10)] Charlie is rough.[(triple11 OR ((triple6 triple8) -> rule2) OR ((triple6 ((triple12 triple7) -> rule5)) -> rule2) OR ((((triple8) -> rule3) triple8) -> rule2) OR ((((triple8) -> rule3) ((triple12 triple7) -> rule5)) -> rule2) OR ((((((triple12 triple7) -> rule5)) -> rule3) triple8) -> rule2) OR ((((((triple12 triple7) -> rule5)) -> rule3) ((triple12 triple7) -> rule5)) -> rule2))] Charlie is young.[(triple12)] Fiona is big.[(triple13 OR ((((((triple14) -> rule4) triple14) -> rule5)) -> rule3))] Fiona is furry.[(triple14)] Fiona is red.[(triple15)] @1: Bob is kind.[(((triple4 triple3) -> rule6))] Fiona is young.[(((triple14) -> rule4))] @2: Bob is furry.[(((((triple4 triple3) -> rule6) triple4) -> rule1))] Fiona is kind.[(((((triple14) -> rule4) triple14) -> rule5))] @3: Fiona is rough.[(((triple13 ((((triple14) -> rule4) triple14) -> rule5)) -> rule2) OR ((((((((triple14) -> rule4) triple14) -> rule5)) -> rule3) ((((triple14) -> rule4) triple14) -> rule5)) -> rule2))]