Bob is big. Bob is green. Dave is kind. Dave is white. Erin is green. Erin is kind. Erin is smart. Fiona is big. Fiona is blue. Fiona is furry. White, blue things are furry. All big, white things are smart. Furry things are green. Kind things are blue. All green things are furry. Green things are big.
Erin is not blue.
@0: Bob is big.[(triple1 OR ((triple2) -> rule6))] Bob is green.[(triple2)] Dave is kind.[(triple3)] Dave is white.[(triple4)] Erin is green.[(triple5)] Erin is kind.[(triple6)] Erin is smart.[(triple7)] Fiona is big.[(triple8 OR ((((triple10) -> rule3)) -> rule6))] Fiona is blue.[(triple9)] Fiona is furry.[(triple10)] @1: Bob is furry.[(((triple2) -> rule5))] Dave is blue.[(((triple3) -> rule4))] Erin is big.[(((triple5) -> rule6))] Erin is blue.[(((triple6) -> rule4))] Erin is furry.[(((triple5) -> rule5))] Fiona is green.[(((triple10) -> rule3))] @2: Dave is furry.[(((triple4 ((triple3) -> rule4)) -> rule1))] @3: Dave is green.[(((((triple4 ((triple3) -> rule4)) -> rule1)) -> rule3))] @4: Dave is big.[(((((((triple4 ((triple3) -> rule4)) -> rule1)) -> rule3)) -> rule6))] @5: Dave is smart.[(((((((((triple4 ((triple3) -> rule4)) -> rule1)) -> rule3)) -> rule6) triple4) -> rule2))]