Bob is not kind. Bob is rough. Erin is big. Erin is blue. Erin is kind. Erin is rough. Erin is smart. Fiona is big. Fiona is not kind. Fiona is rough. Fiona is smart. Fiona is not white. Fiona is young. Harry is not blue. Harry is kind. Harry is rough. All young, kind people are big. Kind, young people are big. If someone is kind and not white then they are big. All smart people are young. If Fiona is young and Fiona is blue then Fiona is kind. All blue people are kind. If Erin is blue then Erin is smart. If Bob is rough and Bob is not young then Bob is big.
Erin is young.
@0: Bob is not kind.[(triple1)] Bob is rough.[(triple2)] Erin is big.[(triple3 OR ((triple5 ((triple7) -> rule4)) -> rule2) OR ((((triple7) -> rule4) triple5) -> rule1) OR ((((triple4) -> rule6) ((triple7) -> rule4)) -> rule2) OR ((((triple7) -> rule4) ((triple4) -> rule6)) -> rule1) OR ((triple5 ((((triple4) -> rule7)) -> rule4)) -> rule2) OR ((((((triple4) -> rule7)) -> rule4) triple5) -> rule1) OR ((((triple4) -> rule6) ((((triple4) -> rule7)) -> rule4)) -> rule2) OR ((((((triple4) -> rule7)) -> rule4) ((triple4) -> rule6)) -> rule1))] Erin is blue.[(triple4)] Erin is kind.[(triple5 OR ((triple4) -> rule6))] Erin is rough.[(triple6)] Erin is smart.[(triple7 OR ((triple4) -> rule7))] Fiona is big.[(triple8)] Fiona is not kind.[(triple9)] Fiona is not white.[(triple12)] Fiona is rough.[(triple10)] Fiona is smart.[(triple11)] Fiona is young.[(triple13 OR ((triple11) -> rule4))] Harry is kind.[(triple15)] Harry is not blue.[(triple14)] Harry is rough.[(triple16)] @1: Erin is young.[(((triple7) -> rule4) OR ((((triple4) -> rule7)) -> rule4))]