Bob is green. Bob is nice. Bob is red. Dave is red. Dave is smart. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is white. Gary is white. If something is white then it is kind. All white, smart things are kind. If something is quiet then it is white. Kind things are nice. Green, white things are red. All smart, red things are nice. If something is green and nice then it is quiet. All nice things are green.
Dave is kind.
@0: Bob is green.[(triple1 OR ((triple2) -> rule8))] Bob is nice.[(triple2)] Bob is red.[(triple3 OR ((triple1 ((((triple1 triple2) -> rule7)) -> rule3)) -> rule5) OR ((((triple2) -> rule8) ((((triple1 triple2) -> rule7)) -> rule3)) -> rule5) OR ((triple1 ((((((triple2) -> rule8) triple2) -> rule7)) -> rule3)) -> rule5) OR ((((triple2) -> rule8) ((((((triple2) -> rule8) triple2) -> rule7)) -> rule3)) -> rule5))] Dave is red.[(triple4)] Dave is smart.[(triple5)] Fiona is green.[(triple6 OR ((triple7) -> rule8) OR ((((((triple9) -> rule1)) -> rule4)) -> rule8) OR ((((((((triple8) -> rule3)) -> rule1)) -> rule4)) -> rule8))] Fiona is nice.[(triple7 OR ((((triple9) -> rule1)) -> rule4) OR ((((((triple8) -> rule3)) -> rule1)) -> rule4))] Fiona is quiet.[(triple8 OR ((triple6 triple7) -> rule7) OR ((((triple7) -> rule8) triple7) -> rule7) OR ((triple6 ((((triple9) -> rule1)) -> rule4)) -> rule7) OR ((((triple7) -> rule8) ((((triple9) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple9) -> rule1)) -> rule4)) -> rule8) triple7) -> rule7) OR ((((((((triple9) -> rule1)) -> rule4)) -> rule8) ((((triple9) -> rule1)) -> rule4)) -> rule7))] Fiona is white.[(triple9 OR ((triple8) -> rule3) OR ((((triple6 triple7) -> rule7)) -> rule3) OR ((((((triple7) -> rule8) triple7) -> rule7)) -> rule3))] Gary is white.[(triple10)] @1: Bob is quiet.[(((triple1 triple2) -> rule7) OR ((((triple2) -> rule8) triple2) -> rule7))] Dave is nice.[(((triple5 triple4) -> rule6))] Fiona is kind.[(((triple9) -> rule1) OR ((((triple8) -> rule3)) -> rule1) OR ((((((triple6 triple7) -> rule7)) -> rule3)) -> rule1) OR ((((((((triple7) -> rule8) triple7) -> rule7)) -> rule3)) -> rule1))] Fiona is red.[(((triple6 triple9) -> rule5) OR ((triple6 ((triple8) -> rule3)) -> rule5) OR ((((triple7) -> rule8) triple9) -> rule5) OR ((((triple7) -> rule8) ((triple8) -> rule3)) -> rule5) OR ((triple6 ((((triple6 triple7) -> rule7)) -> rule3)) -> rule5) OR ((((triple7) -> rule8) ((((triple6 triple7) -> rule7)) -> rule3)) -> rule5) OR ((triple6 ((((((triple7) -> rule8) triple7) -> rule7)) -> rule3)) -> rule5) OR ((((((((triple9) -> rule1)) -> rule4)) -> rule8) triple9) -> rule5) OR ((((triple7) -> rule8) ((((((triple7) -> rule8) triple7) -> rule7)) -> rule3)) -> rule5) OR ((((((((triple9) -> rule1)) -> rule4)) -> rule8) ((triple8) -> rule3)) -> rule5) OR ((((((((triple9) -> rule1)) -> rule4)) -> rule8) ((((triple6 triple7) -> rule7)) -> rule3)) -> rule5) OR ((((((((triple9) -> rule1)) -> rule4)) -> rule8) ((((((triple7) -> rule8) triple7) -> rule7)) -> rule3)) -> rule5) OR ((((((((((triple8) -> rule3)) -> rule1)) -> rule4)) -> rule8) triple9) -> rule5) OR ((((((((((triple8) -> rule3)) -> rule1)) -> rule4)) -> rule8) ((triple8) -> rule3)) -> rule5) OR ((((((((((triple8) -> rule3)) -> rule1)) -> rule4)) -> rule8) ((((triple6 triple7) -> rule7)) -> rule3)) -> rule5) OR ((((((((((triple8) -> rule3)) -> rule1)) -> rule4)) -> rule8) ((((((triple7) -> rule8) triple7) -> rule7)) -> rule3)) -> rule5))] Gary is kind.[(((triple10) -> rule1))] @2: Bob is white.[(((((triple1 triple2) -> rule7)) -> rule3) OR ((((((triple2) -> rule8) triple2) -> rule7)) -> rule3))] Dave is green.[(((((triple5 triple4) -> rule6)) -> rule8))] Gary is nice.[(((((triple10) -> rule1)) -> rule4))] @3: Bob is kind.[(((((((triple1 triple2) -> rule7)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule8) triple2) -> rule7)) -> rule3)) -> rule1))] Dave is quiet.[(((((((triple5 triple4) -> rule6)) -> rule8) ((triple5 triple4) -> rule6)) -> rule7))] Gary is green.[(((((((triple10) -> rule1)) -> rule4)) -> rule8))] @4: Dave is white.[(((((((((triple5 triple4) -> rule6)) -> rule8) ((triple5 triple4) -> rule6)) -> rule7)) -> rule3))] Gary is quiet.[(((((((((triple10) -> rule1)) -> rule4)) -> rule8) ((((triple10) -> rule1)) -> rule4)) -> rule7))] Gary is red.[(((((((((triple10) -> rule1)) -> rule4)) -> rule8) triple10) -> rule5))] @5: Dave is kind.[(((((((((((triple5 triple4) -> rule6)) -> rule8) ((triple5 triple4) -> rule6)) -> rule7)) -> rule3)) -> rule1) OR ((((((((((triple5 triple4) -> rule6)) -> rule8) ((triple5 triple4) -> rule6)) -> rule7)) -> rule3) triple5) -> rule2))]