Bob is kind. Bob is quiet. Bob is young. Charlie is not green. Dave is round. Fiona is rough. Fiona is round. Kind, blue people are quiet. Rough, round people are quiet. Round people are rough. If someone is blue then they are green. All rough, kind people are green. If someone is quiet then they are blue. All green, round people are young. All kind people are round. If Charlie is rough then Charlie is blue.
Charlie is quiet.
@0: Bob is kind.[(triple1)] Bob is quiet.[(triple2 OR ((((((triple1) -> rule8)) -> rule3) ((triple1) -> rule8)) -> rule2))] Bob is young.[(triple3 OR ((((((triple2) -> rule6)) -> rule4) ((triple1) -> rule8)) -> rule7) OR ((((((((triple1) -> rule8)) -> rule3) triple1) -> rule5) ((triple1) -> rule8)) -> rule7) OR ((((((((((((triple1) -> rule8)) -> rule3) ((triple1) -> rule8)) -> rule2)) -> rule6)) -> rule4) ((triple1) -> rule8)) -> rule7))] Charlie is not green.[(triple4)] Dave is round.[(triple5)] Fiona is rough.[(triple6 OR ((triple7) -> rule3))] Fiona is round.[(triple7)] @1: Bob is blue.[(((triple2) -> rule6) OR ((((((((triple1) -> rule8)) -> rule3) ((triple1) -> rule8)) -> rule2)) -> rule6))] Bob is round.[(((triple1) -> rule8))] Dave is rough.[(((triple5) -> rule3))] Fiona is quiet.[(((triple6 triple7) -> rule2) OR ((((triple7) -> rule3) triple7) -> rule2))] @2: Bob is green.[(((((triple2) -> rule6)) -> rule4) OR ((((((triple1) -> rule8)) -> rule3) triple1) -> rule5) OR ((((((((((triple1) -> rule8)) -> rule3) ((triple1) -> rule8)) -> rule2)) -> rule6)) -> rule4))] Bob is rough.[(((((triple1) -> rule8)) -> rule3))] Dave is quiet.[(((((triple5) -> rule3) triple5) -> rule2))] Fiona is blue.[(((((triple6 triple7) -> rule2)) -> rule6) OR ((((((triple7) -> rule3) triple7) -> rule2)) -> rule6))] @3: Dave is blue.[(((((((triple5) -> rule3) triple5) -> rule2)) -> rule6))] Fiona is green.[(((((((triple6 triple7) -> rule2)) -> rule6)) -> rule4) OR ((((((((triple7) -> rule3) triple7) -> rule2)) -> rule6)) -> rule4))] @4: Dave is green.[(((((((((triple5) -> rule3) triple5) -> rule2)) -> rule6)) -> rule4))] Fiona is young.[(((((((((triple6 triple7) -> rule2)) -> rule6)) -> rule4) triple7) -> rule7) OR ((((((((((triple7) -> rule3) triple7) -> rule2)) -> rule6)) -> rule4) triple7) -> rule7))] @5: Dave is young.[(((((((((((triple5) -> rule3) triple5) -> rule2)) -> rule6)) -> rule4) triple5) -> rule7))]