Bob is quiet. Bob is red. Bob is round. Bob is white. Bob is young. Dave is quiet. Dave is white. Fiona is young. Gary is nice. Gary is red. Gary is round. Gary is young. Red things are round. All quiet, nice things are young. If something is quiet then it is round. Kind things are nice. If something is red then it is young. Round, quiet things are kind.
Fiona is not nice.
@0: Bob is quiet.[(triple1)] Bob is red.[(triple2)] Bob is round.[(triple3 OR ((triple1) -> rule3) OR ((triple2) -> rule1))] Bob is white.[(triple4)] Bob is young.[(triple5 OR ((triple2) -> rule5) OR ((triple1 ((((triple3 triple1) -> rule6)) -> rule4)) -> rule2) OR ((triple1 ((((((triple1) -> rule3) triple1) -> rule6)) -> rule4)) -> rule2) OR ((triple1 ((((((triple2) -> rule1) triple1) -> rule6)) -> rule4)) -> rule2))] Dave is quiet.[(triple6)] Dave is white.[(triple7)] Fiona is young.[(triple8)] Gary is nice.[(triple9)] Gary is red.[(triple10)] Gary is round.[(triple11 OR ((triple10) -> rule1))] Gary is young.[(triple12 OR ((triple10) -> rule5))] @1: Bob is kind.[(((triple3 triple1) -> rule6) OR ((((triple1) -> rule3) triple1) -> rule6) OR ((((triple2) -> rule1) triple1) -> rule6))] Dave is round.[(((triple6) -> rule3))] @2: Bob is nice.[(((((triple3 triple1) -> rule6)) -> rule4) OR ((((((triple1) -> rule3) triple1) -> rule6)) -> rule4) OR ((((((triple2) -> rule1) triple1) -> rule6)) -> rule4))] Dave is kind.[(((((triple6) -> rule3) triple6) -> rule6))] @3: Dave is nice.[(((((((triple6) -> rule3) triple6) -> rule6)) -> rule4))] @4: Dave is young.[(((triple6 ((((((triple6) -> rule3) triple6) -> rule6)) -> rule4)) -> rule2))]