Bob is rough. Bob is round. Bob is smart. Bob is young. Charlie is blue. Charlie is furry. Charlie is rough. Fiona is red. Fiona is smart. Gary is rough. If Bob is young and Bob is round then Bob is rough. All furry, round people are rough. Rough, furry people are round. All red people are round. If someone is round and blue then they are red. All red people are furry.
Charlie is blue.
@0: Bob is rough.[(triple1 OR ((triple4 triple2) -> rule1))] Bob is round.[(triple2)] Bob is smart.[(triple3)] Bob is young.[(triple4)] Charlie is blue.[(triple5)] Charlie is furry.[(triple6)] Charlie is rough.[(triple7)] Fiona is red.[(triple8)] Fiona is smart.[(triple9)] Gary is rough.[(triple10)] @1: Charlie is round.[(((triple7 triple6) -> rule3))] Fiona is furry.[(((triple8) -> rule6))] Fiona is round.[(((triple8) -> rule4))] @2: Charlie is red.[(((((triple7 triple6) -> rule3) triple5) -> rule5))] Fiona is rough.[(((((triple8) -> rule6) ((triple8) -> rule4)) -> rule2))]