Charlie is nice. Charlie is round. Dave is nice. Dave is red. Fiona is big. Fiona is kind. Fiona is nice. Fiona is red. Fiona is white. Gary is big. If Gary is green then Gary is red. If something is red then it is big. Big things are kind. If Dave is round and Dave is not big then Dave is not kind. If something is round and kind then it is nice. If Charlie is round then Charlie is nice. If something is big and kind then it is round. All white things are round.
Fiona is green.
@0: Charlie is nice.[(triple1 OR ((triple2) -> rule6))] Charlie is round.[(triple2)] Dave is nice.[(triple3 OR ((((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule3)) -> rule7) ((((triple4) -> rule2)) -> rule3)) -> rule5))] Dave is red.[(triple4)] Fiona is big.[(triple5 OR ((triple8) -> rule2))] Fiona is kind.[(triple6 OR ((triple5) -> rule3) OR ((((triple8) -> rule2)) -> rule3))] Fiona is nice.[(triple7 OR ((((triple9) -> rule8) triple6) -> rule5) OR ((((triple5 triple6) -> rule7) triple6) -> rule5) OR ((((triple9) -> rule8) ((triple5) -> rule3)) -> rule5) OR ((((triple5 triple6) -> rule7) ((triple5) -> rule3)) -> rule5) OR ((((triple5 ((triple5) -> rule3)) -> rule7) triple6) -> rule5) OR ((((((triple8) -> rule2) triple6) -> rule7) triple6) -> rule5) OR ((((triple9) -> rule8) ((((triple8) -> rule2)) -> rule3)) -> rule5) OR ((((triple5 triple6) -> rule7) ((((triple8) -> rule2)) -> rule3)) -> rule5) OR ((((triple5 ((triple5) -> rule3)) -> rule7) ((triple5) -> rule3)) -> rule5) OR ((((((triple8) -> rule2) triple6) -> rule7) ((triple5) -> rule3)) -> rule5) OR ((((((triple8) -> rule2) ((triple5) -> rule3)) -> rule7) triple6) -> rule5) OR ((((triple5 ((triple5) -> rule3)) -> rule7) ((((triple8) -> rule2)) -> rule3)) -> rule5) OR ((((((triple8) -> rule2) triple6) -> rule7) ((((triple8) -> rule2)) -> rule3)) -> rule5) OR ((((((triple8) -> rule2) ((triple5) -> rule3)) -> rule7) ((triple5) -> rule3)) -> rule5) OR ((((((triple8) -> rule2) ((triple5) -> rule3)) -> rule7) ((((triple8) -> rule2)) -> rule3)) -> rule5) OR ((((triple5 ((((triple8) -> rule2)) -> rule3)) -> rule7) triple6) -> rule5) OR ((((triple5 ((((triple8) -> rule2)) -> rule3)) -> rule7) ((triple5) -> rule3)) -> rule5) OR ((((((triple8) -> rule2) ((((triple8) -> rule2)) -> rule3)) -> rule7) triple6) -> rule5) OR ((((triple5 ((((triple8) -> rule2)) -> rule3)) -> rule7) ((((triple8) -> rule2)) -> rule3)) -> rule5) OR ((((((triple8) -> rule2) ((((triple8) -> rule2)) -> rule3)) -> rule7) ((triple5) -> rule3)) -> rule5) OR ((((((triple8) -> rule2) ((((triple8) -> rule2)) -> rule3)) -> rule7) ((((triple8) -> rule2)) -> rule3)) -> rule5))] Fiona is red.[(triple8)] Fiona is white.[(triple9)] Gary is big.[(triple10)] @1: Dave is big.[(((triple4) -> rule2))] Fiona is round.[(((triple9) -> rule8) OR ((triple5 triple6) -> rule7) OR ((triple5 ((triple5) -> rule3)) -> rule7) OR ((((triple8) -> rule2) triple6) -> rule7) OR ((((triple8) -> rule2) ((triple5) -> rule3)) -> rule7) OR ((triple5 ((((triple8) -> rule2)) -> rule3)) -> rule7) OR ((((triple8) -> rule2) ((((triple8) -> rule2)) -> rule3)) -> rule7))] Gary is kind.[(((triple10) -> rule3))] @2: Dave is kind.[(((((triple4) -> rule2)) -> rule3))] Gary is round.[(((triple10 ((triple10) -> rule3)) -> rule7))] @3: Dave is round.[(((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule3)) -> rule7))] Gary is nice.[(((((triple10 ((triple10) -> rule3)) -> rule7) ((triple10) -> rule3)) -> rule5))]