Charlie is white. Dave is big. Dave is furry. Dave is nice. Dave is red. Dave is white. Fiona is young. Harry is big. Harry is furry. Harry is nice. Harry is red. Harry is round. Harry is not white. Harry is young. All white, red things are young. If something is big then it is young. All furry things are big. Young things are big. If Fiona is big and Fiona is white then Fiona is red. If something is red and white then it is round. Young things are red. If something is white then it is furry.
Fiona is red.
@0: Charlie is white.[(triple1)] Dave is big.[(triple2 OR ((triple3) -> rule3) OR ((((triple6) -> rule8)) -> rule3) OR ((((triple6 triple5) -> rule1)) -> rule4))] Dave is furry.[(triple3 OR ((triple6) -> rule8))] Dave is nice.[(triple4)] Dave is red.[(triple5 OR ((((triple2) -> rule2)) -> rule7) OR ((((((triple3) -> rule3)) -> rule2)) -> rule7) OR ((((((((triple6) -> rule8)) -> rule3)) -> rule2)) -> rule7))] Dave is white.[(triple6)] Fiona is young.[(triple7)] Harry is big.[(triple8 OR ((triple14) -> rule4) OR ((triple9) -> rule3))] Harry is furry.[(triple9)] Harry is nice.[(triple10)] Harry is not white.[(triple13)] Harry is red.[(triple11 OR ((triple14) -> rule7) OR ((((triple8) -> rule2)) -> rule7) OR ((((((triple9) -> rule3)) -> rule2)) -> rule7))] Harry is round.[(triple12)] Harry is young.[(triple14 OR ((triple8) -> rule2) OR ((((triple9) -> rule3)) -> rule2))] @1: Charlie is furry.[(((triple1) -> rule8))] Dave is round.[(((triple5 triple6) -> rule6) OR ((((((triple2) -> rule2)) -> rule7) triple6) -> rule6) OR ((((((((triple3) -> rule3)) -> rule2)) -> rule7) triple6) -> rule6) OR ((((((((((triple6) -> rule8)) -> rule3)) -> rule2)) -> rule7) triple6) -> rule6))] Dave is young.[(((triple2) -> rule2) OR ((triple6 triple5) -> rule1) OR ((((triple3) -> rule3)) -> rule2) OR ((((((triple6) -> rule8)) -> rule3)) -> rule2))] Fiona is big.[(((triple7) -> rule4))] Fiona is red.[(((triple7) -> rule7))] @2: Charlie is big.[(((((triple1) -> rule8)) -> rule3))] @3: Charlie is young.[(((((((triple1) -> rule8)) -> rule3)) -> rule2))] @4: Charlie is red.[(((((((((triple1) -> rule8)) -> rule3)) -> rule2)) -> rule7))] @5: Charlie is round.[(((((((((((triple1) -> rule8)) -> rule3)) -> rule2)) -> rule7) triple1) -> rule6))]