Bob is cold. Bob is round. Bob is smart. Fiona is cold. Fiona is nice. Fiona is smart. Fiona is young. Harry is cold. Harry is nice. Harry is rough. Harry is round. Harry is smart. Cold, nice people are young. If someone is cold then they are young. All nice, round people are rough. All young, round people are nice. If someone is rough and red then they are round. All smart people are young.
Bob is not round.
@0: Bob is cold.[(triple1)] Bob is round.[(triple2)] Bob is smart.[(triple3)] Fiona is cold.[(triple4)] Fiona is nice.[(triple5)] Fiona is smart.[(triple6)] Fiona is young.[(triple7 OR ((triple4) -> rule2) OR ((triple6) -> rule6) OR ((triple4 triple5) -> rule1))] Harry is cold.[(triple8)] Harry is nice.[(triple9 OR ((((triple12) -> rule6) triple11) -> rule4) OR ((((triple8) -> rule2) triple11) -> rule4))] Harry is rough.[(triple10 OR ((triple9 triple11) -> rule3) OR ((((((triple12) -> rule6) triple11) -> rule4) triple11) -> rule3) OR ((((((triple8) -> rule2) triple11) -> rule4) triple11) -> rule3))] Harry is round.[(triple11)] Harry is smart.[(triple12)] @1: Bob is young.[(((triple1) -> rule2) OR ((triple3) -> rule6))] Harry is young.[(((triple12) -> rule6) OR ((triple8) -> rule2) OR ((triple8 triple9) -> rule1))] @2: Bob is nice.[(((((triple1) -> rule2) triple2) -> rule4) OR ((((triple3) -> rule6) triple2) -> rule4))] @3: Bob is rough.[(((((((triple1) -> rule2) triple2) -> rule4) triple2) -> rule3) OR ((((((triple3) -> rule6) triple2) -> rule4) triple2) -> rule3))]