Bob is round. Charlie is green. Fiona is green. Fiona is nice. Gary is green. Gary is nice. Gary is round. All red people are smart. Young, blue people are smart. If someone is blue then they are nice. If someone is smart then they are young. Red, smart people are young. If Charlie is blue and Charlie is young then Charlie is red. If someone is green and smart then they are nice. If someone is round then they are red.
Charlie is round.
@0: Bob is round.[(triple1)] Charlie is green.[(triple2)] Fiona is green.[(triple3)] Fiona is nice.[(triple4)] Gary is green.[(triple5)] Gary is nice.[(triple6 OR ((triple5 ((((triple7) -> rule8)) -> rule1)) -> rule7))] Gary is round.[(triple7)] @1: Bob is red.[(((triple1) -> rule8))] Gary is red.[(((triple7) -> rule8))] @2: Bob is smart.[(((((triple1) -> rule8)) -> rule1))] Gary is smart.[(((((triple7) -> rule8)) -> rule1))] @3: Bob is young.[(((((((triple1) -> rule8)) -> rule1)) -> rule4) OR ((((triple1) -> rule8) ((((triple1) -> rule8)) -> rule1)) -> rule5))] Gary is young.[(((((((triple7) -> rule8)) -> rule1)) -> rule4) OR ((((triple7) -> rule8) ((((triple7) -> rule8)) -> rule1)) -> rule5))]