Bob is round. Dave is big. Dave is white. Fiona is rough. Fiona is white. Gary is big. Gary is white. Smart people are big. If someone is white then they are smart. If someone is big then they are blue. If Bob is rough then Bob is smart. If someone is blue and not white then they are not kind. Round, blue people are kind. If someone is blue and not rough then they are kind. If someone is rough and not smart then they are round.
Fiona is big.
@0: Bob is round.[(triple1)] Dave is big.[(triple2 OR ((((triple3) -> rule2)) -> rule1))] Dave is white.[(triple3)] Fiona is rough.[(triple4)] Fiona is white.[(triple5)] Gary is big.[(triple6 OR ((((triple7) -> rule2)) -> rule1))] Gary is white.[(triple7)] @1: Dave is blue.[(((triple2) -> rule3) OR ((((((triple3) -> rule2)) -> rule1)) -> rule3))] Dave is smart.[(((triple3) -> rule2))] Fiona is smart.[(((triple5) -> rule2))] Gary is blue.[(((triple6) -> rule3) OR ((((((triple7) -> rule2)) -> rule1)) -> rule3))] Gary is smart.[(((triple7) -> rule2))] @2: Fiona is big.[(((((triple5) -> rule2)) -> rule1))] @3: Fiona is blue.[(((((((triple5) -> rule2)) -> rule1)) -> rule3))]