Bob is nice. Bob is rough. Dave is rough. Fiona is cold. Fiona is furry. Gary is red. Gary is young. Red people are nice. Rough people are young. If Bob is nice and Bob is smart then Bob is young. If someone is smart and furry then they are rough. Furry, young people are red. Smart, rough people are young. Nice people are red. If someone is cold then they are smart. If someone is nice then they are young.
Dave is cold.
@0: Bob is nice.[(triple1)] Bob is rough.[(triple2)] Dave is rough.[(triple3)] Fiona is cold.[(triple4)] Fiona is furry.[(triple5)] Gary is red.[(triple6)] Gary is young.[(triple7 OR ((((triple6) -> rule1)) -> rule9))] @1: Bob is red.[(((triple1) -> rule7))] Bob is young.[(((triple1) -> rule9) OR ((triple2) -> rule2))] Dave is young.[(((triple3) -> rule2))] Fiona is smart.[(((triple4) -> rule8))] Gary is nice.[(((triple6) -> rule1))] @2: Fiona is rough.[(((((triple4) -> rule8) triple5) -> rule4))] @3: Fiona is young.[(((((((triple4) -> rule8) triple5) -> rule4)) -> rule2) OR ((((triple4) -> rule8) ((((triple4) -> rule8) triple5) -> rule4)) -> rule6))] @4: Fiona is red.[(((triple5 ((((((triple4) -> rule8) triple5) -> rule4)) -> rule2)) -> rule5) OR ((triple5 ((((triple4) -> rule8) ((((triple4) -> rule8) triple5) -> rule4)) -> rule6)) -> rule5))] @5: Fiona is nice.[(((((triple5 ((((((triple4) -> rule8) triple5) -> rule4)) -> rule2)) -> rule5)) -> rule1) OR ((((triple5 ((((triple4) -> rule8) ((((triple4) -> rule8) triple5) -> rule4)) -> rule6)) -> rule5)) -> rule1))]