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