Charlie is young. Dave is kind. Dave is quiet. Dave is young. Erin is quiet. Harry is green. Harry is quiet. If something is quiet and young then it is nice. If something is red and kind then it is nice. All green things are nice. If something is quiet and green then it is kind. If Charlie is red then Charlie is smart. If something is red then it is quiet. If something is young and nice then it is quiet. All quiet things are red. If something is young then it is green.
Charlie is smart.
@0: Charlie is young.[(triple1)] Dave is kind.[(triple2 OR ((triple3 ((triple4) -> rule9)) -> rule4) OR ((((triple4 ((((triple4) -> rule9)) -> rule3)) -> rule7) ((triple4) -> rule9)) -> rule4))] Dave is quiet.[(triple3 OR ((triple4 ((((triple4) -> rule9)) -> rule3)) -> rule7))] Dave is young.[(triple4)] Erin is quiet.[(triple5)] Harry is green.[(triple6)] Harry is quiet.[(triple7)] @1: Charlie is green.[(((triple1) -> rule9))] Dave is green.[(((triple4) -> rule9))] Dave is nice.[(((triple3 triple4) -> rule1) OR ((((triple4) -> rule9)) -> rule3) OR ((((triple3) -> rule8) triple2) -> rule2) OR ((((triple3) -> rule8) ((triple3 ((triple4) -> rule9)) -> rule4)) -> rule2))] Dave is red.[(((triple3) -> rule8) OR ((((triple4 ((((triple4) -> rule9)) -> rule3)) -> rule7)) -> rule8))] Erin is red.[(((triple5) -> rule8))] Harry is kind.[(((triple7 triple6) -> rule4))] Harry is nice.[(((triple6) -> rule3) OR ((((triple7) -> rule8) ((triple7 triple6) -> rule4)) -> rule2))] Harry is red.[(((triple7) -> rule8))] @2: Charlie is nice.[(((((triple1) -> rule9)) -> rule3))] @3: Charlie is quiet.[(((triple1 ((((triple1) -> rule9)) -> rule3)) -> rule7))] @4: Charlie is kind.[(((((triple1 ((((triple1) -> rule9)) -> rule3)) -> rule7) ((triple1) -> rule9)) -> rule4))] Charlie is red.[(((((triple1 ((((triple1) -> rule9)) -> rule3)) -> rule7)) -> rule8))] @5: Charlie is smart.[(((((((triple1 ((((triple1) -> rule9)) -> rule3)) -> rule7)) -> rule8)) -> rule5))]