Anne is big. Anne is round. Dave is nice. Dave is rough. Fiona is rough. Gary is blue. Gary is furry. If Anne is rough then Anne is not furry. If Fiona is quiet then Fiona is big. If something is blue and not rough then it is not round. If something is nice and round then it is quiet. If Fiona is big and Fiona is nice then Fiona is round. If something is round then it is blue. Furry things are nice. All nice things are big. If something is rough then it is furry.
Fiona is big.
@0: Anne is big.[(triple1)] Anne is round.[(triple2)] Dave is nice.[(triple3 OR ((((triple4) -> rule9)) -> rule7))] Dave is rough.[(triple4)] Fiona is rough.[(triple5)] Gary is blue.[(triple6)] Gary is furry.[(triple7)] @1: Anne is blue.[(((triple2) -> rule6))] Dave is big.[(((triple3) -> rule8) OR ((((((triple4) -> rule9)) -> rule7)) -> rule8))] Dave is furry.[(((triple4) -> rule9))] Fiona is furry.[(((triple5) -> rule9))] Gary is nice.[(((triple7) -> rule7))] @2: Fiona is nice.[(((((triple5) -> rule9)) -> rule7))] Gary is big.[(((((triple7) -> rule7)) -> rule8))] @3: Fiona is big.[(((((((triple5) -> rule9)) -> rule7)) -> rule8))] @4: Fiona is round.[(((((((((triple5) -> rule9)) -> rule7)) -> rule8) ((((triple5) -> rule9)) -> rule7)) -> rule5))] @5: Fiona is blue.[(((((((((((triple5) -> rule9)) -> rule7)) -> rule8) ((((triple5) -> rule9)) -> rule7)) -> rule5)) -> rule6))] Fiona is quiet.[(((((((triple5) -> rule9)) -> rule7) ((((((((triple5) -> rule9)) -> rule7)) -> rule8) ((((triple5) -> rule9)) -> rule7)) -> rule5)) -> rule4))]