Bob is blue. Bob is furry. Bob is kind. Bob is quiet. Bob is red. Bob is round. Bob is young. Dave is furry. Dave is kind. Dave is red. Fiona is quiet. Fiona is round. Fiona is young. Gary is furry. Gary is young. All round, kind things are furry. All blue things are kind. Young, quiet things are blue.
Dave is not blue.
@0: Bob is blue.[(triple1 OR ((triple7 triple4) -> rule3))] Bob is furry.[(triple2 OR ((triple6 triple3) -> rule1) OR ((triple6 ((triple1) -> rule2)) -> rule1) OR ((triple6 ((((triple7 triple4) -> rule3)) -> rule2)) -> rule1))] Bob is kind.[(triple3 OR ((triple1) -> rule2) OR ((((triple7 triple4) -> rule3)) -> rule2))] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Bob is round.[(triple6)] Bob is young.[(triple7)] Dave is furry.[(triple8)] Dave is kind.[(triple9)] Dave is red.[(triple10)] Fiona is quiet.[(triple11)] Fiona is round.[(triple12)] Fiona is young.[(triple13)] Gary is furry.[(triple14)] Gary is young.[(triple15)] @1: Fiona is blue.[(((triple13 triple11) -> rule3))] @2: Fiona is kind.[(((((triple13 triple11) -> rule3)) -> rule2))] @3: Fiona is furry.[(((triple12 ((((triple13 triple11) -> rule3)) -> rule2)) -> rule1))]