Anne is furry. Anne is quiet. Anne is red. Charlie is quiet. Dave is furry. Fiona is furry. Fiona is red. All big people are rough. If Fiona is big then Fiona is red. All young, red people are quiet. Red people are furry. All rough people are young. If someone is big then they are quiet. Quiet people are big. If Charlie is furry and Charlie is big then Charlie is quiet. Young people are red.
Charlie is not big.
@0: Anne is furry.[(triple1 OR ((triple3) -> rule4) OR ((((((((((triple2) -> rule7)) -> rule1)) -> rule5)) -> rule9)) -> rule4))] Anne is quiet.[(triple2)] Anne is red.[(triple3 OR ((((((((triple2) -> rule7)) -> rule1)) -> rule5)) -> rule9))] Charlie is quiet.[(triple4)] Dave is furry.[(triple5)] Fiona is furry.[(triple6 OR ((triple7) -> rule4))] Fiona is red.[(triple7)] @1: Anne is big.[(((triple2) -> rule7))] Charlie is big.[(((triple4) -> rule7))] @2: Anne is rough.[(((((triple2) -> rule7)) -> rule1))] Charlie is rough.[(((((triple4) -> rule7)) -> rule1))] @3: Anne is young.[(((((((triple2) -> rule7)) -> rule1)) -> rule5))] Charlie is young.[(((((((triple4) -> rule7)) -> rule1)) -> rule5))] @4: Charlie is red.[(((((((((triple4) -> rule7)) -> rule1)) -> rule5)) -> rule9))] @5: Charlie is furry.[(((((((((((triple4) -> rule7)) -> rule1)) -> rule5)) -> rule9)) -> rule4))]