Anne is rough. Bob is big. Bob is green. Bob is red. Bob is rough. Bob is round. Dave is big. Dave is furry. Fiona is round. Fiona is white. All rough things are not furry. If Fiona is green then Fiona is rough. All round things are red. If something is furry and not big then it is red. All round, rough things are green. If something is round and not white then it is green. All round, red things are green. All green things are rough.
Fiona is green.
@0: Anne is rough.[(triple1)] Bob is big.[(triple2)] Bob is green.[(triple3 OR ((triple6 triple4) -> rule7) OR ((triple6 triple5) -> rule5) OR ((triple6 ((triple6) -> rule3)) -> rule7))] Bob is red.[(triple4 OR ((triple6) -> rule3))] Bob is rough.[(triple5 OR ((triple3) -> rule8) OR ((((triple6 triple4) -> rule7)) -> rule8) OR ((((triple6 ((triple6) -> rule3)) -> rule7)) -> rule8))] Bob is round.[(triple6)] Dave is big.[(triple7)] Dave is furry.[(triple8)] Fiona is round.[(triple9)] Fiona is white.[(triple10)] @1: Anne is not furry.[(((triple1) -> rule1))] Bob is not furry.[(((triple5) -> rule1) OR ((((triple3) -> rule8)) -> rule1) OR ((((((triple6 triple4) -> rule7)) -> rule8)) -> rule1) OR ((((((triple6 ((triple6) -> rule3)) -> rule7)) -> rule8)) -> rule1))] Fiona is red.[(((triple9) -> rule3))] @2: Fiona is green.[(((triple9 ((triple9) -> rule3)) -> rule7))] @3: Fiona is rough.[(((((triple9 ((triple9) -> rule3)) -> rule7)) -> rule2) OR ((((triple9 ((triple9) -> rule3)) -> rule7)) -> rule8))] @4: Fiona is not furry.[(((((((triple9 ((triple9) -> rule3)) -> rule7)) -> rule2)) -> rule1) OR ((((((triple9 ((triple9) -> rule3)) -> rule7)) -> rule8)) -> rule1))]