Bob is blue. Bob is furry. Bob is green. Bob is smart. Bob is young. Fiona is blue. Fiona is green. Fiona is nice. Fiona is smart. Fiona is not white. Young, smart things are green. All young, smart things are green. If Bob is nice then Bob is young. If something is young then it is blue. All blue things are furry. Young things are white. If something is green and not young then it is white. If Bob is not white then Bob is furry.
Bob is nice.
@0: Bob is blue.[(triple1 OR ((triple5) -> rule4))] Bob is furry.[(triple2 OR ((triple1) -> rule5) OR ((((triple5) -> rule4)) -> rule5))] Bob is green.[(triple3 OR ((triple5 triple4) -> rule1) OR ((triple5 triple4) -> rule2))] Bob is smart.[(triple4)] Bob is young.[(triple5)] Fiona is blue.[(triple6)] Fiona is green.[(triple7)] Fiona is nice.[(triple8)] Fiona is not white.[(triple10)] Fiona is smart.[(triple9)] @1: Bob is white.[(((triple5) -> rule6))] Fiona is furry.[(((triple6) -> rule5))]