Bob is furry. Bob is green. Bob is quiet. Bob is red. Bob is smart. Bob is white. Bob is young. Dave is furry. Dave is smart. Fiona is quiet. Fiona is white. Fiona is young. If something is green then it is smart. White things are green. Smart, green things are furry.
Dave is not young.
@0: Bob is furry.[(triple1 OR ((triple5 triple2) -> rule3) OR ((triple5 ((triple6) -> rule2)) -> rule3) OR ((((triple2) -> rule1) triple2) -> rule3) OR ((((triple2) -> rule1) ((triple6) -> rule2)) -> rule3) OR ((((((triple6) -> rule2)) -> rule1) triple2) -> rule3) OR ((((((triple6) -> rule2)) -> rule1) ((triple6) -> rule2)) -> rule3))] Bob is green.[(triple2 OR ((triple6) -> rule2))] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Bob is smart.[(triple5 OR ((triple2) -> rule1) OR ((((triple6) -> rule2)) -> rule1))] Bob is white.[(triple6)] Bob is young.[(triple7)] Dave is furry.[(triple8)] Dave is smart.[(triple9)] Fiona is quiet.[(triple10)] Fiona is white.[(triple11)] Fiona is young.[(triple12)] @1: Fiona is green.[(((triple11) -> rule2))] @2: Fiona is smart.[(((((triple11) -> rule2)) -> rule1))] @3: Fiona is furry.[(((((((triple11) -> rule2)) -> rule1) ((triple11) -> rule2)) -> rule3))]