Bob is rough. Fiona is big. Fiona is furry. All rough things are furry. If something is red then it is not white. If Fiona is rough then Fiona is furry. Furry things are red. All white things are red. All red things are big. If something is white then it is not nice. If something is white and not big then it is nice.
Bob is not big.
@0: Bob is rough.[(triple1)] Fiona is big.[(triple2 OR ((((triple3) -> rule4)) -> rule6))] Fiona is furry.[(triple3)] @1: Bob is furry.[(((triple1) -> rule1))] Fiona is red.[(((triple3) -> rule4))] @2: Bob is red.[(((((triple1) -> rule1)) -> rule4))] Fiona is not white.[(((((triple3) -> rule4)) -> rule2))] @3: Bob is big.[(((((((triple1) -> rule1)) -> rule4)) -> rule6))] Bob is not white.[(((((((triple1) -> rule1)) -> rule4)) -> rule2))]