Bob is rough. Bob is round. Bob is smart. Dave is young. Fiona is kind. Fiona is young. Gary is young. Smart, young people are round. All round people are smart. If someone is kind and rough then they are young. If Dave is kind then Dave is big. If someone is rough and round then they are red. All smart people are kind.
Dave is not kind.
@0: Bob is rough.[(triple1)] Bob is round.[(triple2 OR ((triple3 ((((triple3) -> rule6) triple1) -> rule3)) -> rule1))] Bob is smart.[(triple3 OR ((triple2) -> rule2))] Dave is young.[(triple4)] Fiona is kind.[(triple5)] Fiona is young.[(triple6)] Gary is young.[(triple7)] @1: Bob is kind.[(((triple3) -> rule6) OR ((((triple2) -> rule2)) -> rule6))] Bob is red.[(((triple1 triple2) -> rule5) OR ((triple1 ((triple3 ((((triple3) -> rule6) triple1) -> rule3)) -> rule1)) -> rule5))] @2: Bob is young.[(((((triple3) -> rule6) triple1) -> rule3) OR ((((((triple2) -> rule2)) -> rule6) triple1) -> rule3))]