Bob is quiet. Bob is white. Dave is kind. Dave is red. Dave is young. Fiona is red. Fiona is round. Gary is quiet. Gary is red. Gary is round. White things are round. If something is kind and white then it is green. All young things are kind. All round things are young. All quiet, kind things are white. Quiet, green things are red. Young, quiet things are kind. All quiet, red things are kind. If Gary is young then Gary is round.
Bob is not young.
@0: Bob is quiet.[(triple1)] Bob is white.[(triple2)] Dave is kind.[(triple3 OR ((triple5) -> rule3))] Dave is red.[(triple4)] Dave is young.[(triple5)] Fiona is red.[(triple6)] Fiona is round.[(triple7)] Gary is quiet.[(triple8)] Gary is red.[(triple9 OR ((triple8 ((((((triple10) -> rule4)) -> rule3) ((triple8 ((((triple10) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule6) OR ((triple8 ((((((triple10) -> rule4)) -> rule3) ((triple8 ((((triple10) -> rule4) triple8) -> rule7)) -> rule5)) -> rule2)) -> rule6) OR ((triple8 ((((((triple10) -> rule4) triple8) -> rule7) ((triple8 ((((triple10) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule6) OR ((triple8 ((((((triple10) -> rule4) triple8) -> rule7) ((triple8 ((((triple10) -> rule4) triple8) -> rule7)) -> rule5)) -> rule2)) -> rule6))] Gary is round.[(triple10 OR ((((triple8 ((triple8 triple9) -> rule8)) -> rule5)) -> rule1))] @1: Bob is round.[(((triple2) -> rule1))] Fiona is young.[(((triple7) -> rule4))] Gary is kind.[(((triple8 triple9) -> rule8) OR ((((triple10) -> rule4)) -> rule3) OR ((((triple10) -> rule4) triple8) -> rule7))] Gary is young.[(((triple10) -> rule4) OR ((((((triple8 ((triple8 triple9) -> rule8)) -> rule5)) -> rule1)) -> rule4))] @2: Bob is young.[(((((triple2) -> rule1)) -> rule4))] Fiona is kind.[(((((triple7) -> rule4)) -> rule3))] Gary is white.[(((triple8 ((triple8 triple9) -> rule8)) -> rule5) OR ((triple8 ((((triple10) -> rule4)) -> rule3)) -> rule5) OR ((triple8 ((((triple10) -> rule4) triple8) -> rule7)) -> rule5))] @3: Bob is kind.[(((((((triple2) -> rule1)) -> rule4)) -> rule3) OR ((((((triple2) -> rule1)) -> rule4) triple1) -> rule7))] Gary is green.[(((((triple8 triple9) -> rule8) ((triple8 ((triple8 triple9) -> rule8)) -> rule5)) -> rule2) OR ((((((triple10) -> rule4)) -> rule3) ((triple8 ((triple8 triple9) -> rule8)) -> rule5)) -> rule2) OR ((((((triple10) -> rule4) triple8) -> rule7) ((triple8 ((triple8 triple9) -> rule8)) -> rule5)) -> rule2) OR ((((triple8 triple9) -> rule8) ((triple8 ((((triple10) -> rule4)) -> rule3)) -> rule5)) -> rule2) OR ((((triple8 triple9) -> rule8) ((triple8 ((((triple10) -> rule4) triple8) -> rule7)) -> rule5)) -> rule2) OR ((((((triple10) -> rule4)) -> rule3) ((triple8 ((((triple10) -> rule4)) -> rule3)) -> rule5)) -> rule2) OR ((((((triple10) -> rule4)) -> rule3) ((triple8 ((((triple10) -> rule4) triple8) -> rule7)) -> rule5)) -> rule2) OR ((((((triple10) -> rule4) triple8) -> rule7) ((triple8 ((((triple10) -> rule4)) -> rule3)) -> rule5)) -> rule2) OR ((((((triple10) -> rule4) triple8) -> rule7) ((triple8 ((((triple10) -> rule4) triple8) -> rule7)) -> rule5)) -> rule2))] @4: Bob is green.[(((((((((triple2) -> rule1)) -> rule4)) -> rule3) triple2) -> rule2) OR ((((((((triple2) -> rule1)) -> rule4) triple1) -> rule7) triple2) -> rule2))] @5: Bob is red.[(((triple1 ((((((((triple2) -> rule1)) -> rule4)) -> rule3) triple2) -> rule2)) -> rule6) OR ((triple1 ((((((((triple2) -> rule1)) -> rule4) triple1) -> rule7) triple2) -> rule2)) -> rule6))]